Alle Optionen
squeeze  ] [  wheezy  ] [  wheezy-backports  ] [  jessie  ] [  stretch  ] [  sid  ]
[ Quellcode: acl2  ]

Paket: acl2-infix (4.0-3)

Links für acl2-infix

Screenshot

Debian-Ressourcen:

Quellcode-Paket acl2 herunterladen:

Betreuer:

Ähnliche Pakete:

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.

Markierungen: Software-Entwicklung: Interpreter, Lisp-Entwicklung, Bibliotheken, Feld: Mathematik, Implementiert in: Lisp, Rolle: Anwendungsdaten, Arbeitet mit: Quellcode

Andere Pakete mit Bezug zu acl2-infix

  • hängt ab von
  • empfiehlt
  • schlägt vor
  • enhances

acl2-infix herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
s390 449,5 kB1.264,0 kB [Liste der Dateien]