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

Rechenbetonte Logik für applikatives Common Lisp: Quelltexte der Bibliothek

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

Dieses Paket enthält Lisp-Quelltexte zu den im ACL2-books-Paket bereitgestellten Bibliotheken.

Markierungen: Software-Entwicklung: Interpreter, Lisp-Entwicklung, Implementiert in: Lisp, Benutzer-Schnittstellen: Text-basiert interaktiv, Rolle: Quellcode, Interface Toolkit: Ncurses TUI