Alle Optionen
squeeze  ] [  wheezy  ] [  jessie  ] [  sid  ]
[ Quellcode: acl2  ]

Paket: acl2-books-source (4.0-3)

Links für acl2-books-source

Screenshot

Debian-Ressourcen:

Quellcode-Paket acl2 herunterladen:

Betreuer:

Ähnliche Pakete:

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, GUI-Baukasten: Ncurses TUI

Andere Pakete mit Bezug zu acl2-books-source

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

acl2-books-source herunterladen

Download für alle verfügbaren Architekturen
Architektur Paketgröße Größe (installiert) Dateien
all 5.162,7 kB36.216,0 kB [Liste der Dateien]