Pakiet: acl2-source (8.0dfsg-1)

[ Pakiet źródłowy: acl2  ]

Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe

ACL2 jest jednocześnie językiem programowania do modelowania systemów komputerowych i narzędziem pomagającym wykazać ich właściwości.

Pakiet zawiera pliki źródłowe Lisp do głównego pliku binarnego ACL2.

Znaczniki: Rozwój oprogramowania: Interpretery, Rozwijanie w języku Lisp, Dziedzina: field::mathematics, implemented-in::lisp, Interfejs użytkownika: Interaktywny interfejs tekstowy, Rola: role::program, role::source, Pakiet narzędziowy interfejsu: Ncurses (terminalowy)

Inne pakiety związane z acl2-source

• dep: tex-common (>= 6)

  Wspólna infrastruktura do budowy i instalacji systemu TeX

Pobieranie acl2-source

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	3 009,1 KiB	16 211,0 KiB	[lista plików]