Paket: acl2-infix-source (3.1-1)

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

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 die Quelltexte der ACL2-Infix-Schnittstelle.

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