Skip to content
Sections
>> Trisquel >> Paketit >> etiona >> doc >> acl2-doc
etiona  ] [  nabia  ] [  aramo  ]
[ Source: acl2  ]

Paketti: acl2-doc (8.0dfsg-1)

Computational Logic for Applicative Common Lisp: documentation

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 the documentation for ACL2.

Muut pakettiin acl2-doc liittyvät paketit

  • depends
  • recommends
  • suggests
  • dep: dpkg (>= 1.15.4)
    Debian package management system
    tai install-info
    Manage installed documentation in info format
  • dep: tex-common (>= 6)
    common infrastructure for building and installing TeX

Imuroi acl2-doc

Imurointi kaikille saataville arkkitehtuureille
Arkkitehtuuri Paketin koko Koko asennettuna Tiedostot
all 385.1 kt1155 kt [tiedostoluettelo]