Skip to content
Sections
>> Trisquel >> Paket >> nabia >> math >> acl2-books-source
[  etiona  ] [  nabia  ] [  aramo  ]
[ Källkod: acl2  ]

Paket: acl2-books-source (8.2dfsg-3build1)

Computational Logic for Applicative Common Lisp: library sources

ACL2 is both a programming language in which you can model computer systems and a tool to help you prove properties of those models.

This package contains source lisp files to the compiled libraries supplied in the ACL2-books package.

Andra paket besläktade med acl2-books-source

  • beror
  • rekommenderar
  • föreslår
  • dep: acl2 (>= 8.2dfsg-3build1)
    Computational Logic for Applicative Common Lisp: main binary
  • dep: tex-common (>= 6.13)
    common infrastructure for building and installing TeX

Hämta acl2-books-source

Hämtningar för alla tillgängliga arkitekturer
Arkitektur Paketstorlek Installerad storlek Filer
all 13.955,2 kbyte134085 kbyte [filförteckning]