Package: acl2-source (4.0-3)

[ Source: acl2  ]

Výpočtová logika pro Applicative Common Lisp: zdrojové soubory

ACL2 obsahuje kombinaci programovacího jazyka, ve kterém můžete modelovat počítačové systémy a zároveň obsahuje nástroje, který vám umožní nastavit více parametrů těchto modelů.

Tento balíček obsahuje zdrojové soubory lispu pro hlavní program ACL2.

Tags: Software Development: Interpreter, Lisp Development, Field: Mathematics, Implemented in: Lisp, User Interface: Text-based Interactive, Role: Source Code, Interface Toolkit: Ncurses TUI

Download acl2-source

Download for all available architectures

Architecture	Package Size	Installed Size	Files
all	2,955.3 kB	11,612.0 kB	[list of files]