alle opties
[  bianca  ] [  aria  ]
[ Bron: acl2  ]

Pakket: acl2-source (8.5dfsg-5)

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.503,8 kB18.837,0 kB [overzicht]