alle opties
[  bianca  ]
[ Bron: acl2  ]

Pakket: acl2-source (8.6+dfsg-2)

Verwijzigingen voor acl2-source

Screenshot

Het bronpakket acl2 downloaden:

Beheerder:

Externe bronnen:

Vergelijkbare pakketten:

Computational Logic for Applicative Common Lisp: source files

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 lisp source files to the main ACL2 binary.

Andere aan acl2-source gerelateerde pakketten

  • depends
  • recommends
  • suggests
  • enhances

acl2-source downloaden

Pakket downloaden voor alle beschikbare platforms
Platform Pakketgrootte Geïnstalleerde grootte Bestanden
all 3.903,1 kB21.101,0 kB [overzicht]