all options
squeeze  ] [  wheezy  ] [  wheezy-backports  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Source: acl2  ]

Package: acl2-infix (4.0-3)

Links for acl2-infix

Screenshot

Debian Resources:

Download Source Package acl2:

Maintainer:

Similar packages:

Rechenbetonte Logik für applikatives Common Lisp: Infix-Schnittstelle

ACL2 ist sowohl eine Programmiersprache, mit der man Rechnersysteme modellieren kann, als auch ein Werkzeug, das Sie dabei unterstützt, Eigenschaften solcher Modelle zu beweisen.

Dieses Paket enthält Hilfsprogramme und Bibliotheken für den Zugriff auf ACL2 mittels einer Infix-Notation, wie sie auf ähnliche Art in vielen nicht-Lisp Programmiersprachen benutzt wird.

Tags: Software Development: Interpreter, Lisp Development, Libraries, Field: Mathematics, Implemented in: Lisp, Role: Application Data, Works with: Source Code

Other Packages Related to acl2-infix

  • depends
  • recommends
  • suggests
  • enhances

Download acl2-infix

Download for all available architectures
Architecture Package Size Installed Size Files
s390 449.5 kB1,264.0 kB [list of files]