Package: acl2-infix-source (4.0-3)

[ Source: acl2  ]

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.

Tags: Software Development: Interpreter, Lisp Development, Libraries, Field: Mathematics, Implemented in: Lisp, Role: Source Code

Download acl2-infix-source

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	87.2 kB	376.0 kB	[list of files]