Pakiet: acl2-doc (8.5dfsg-6)

Odnośniki dla acl2-doc

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 dokumentację do ACL2.

Znaczniki: Rozwój oprogramowania: Dokumentacja, Interpretery, Rozwijanie w języku Lisp, Dziedzina: field::mathematics, made-of::html, Rola: Dokumentacja, role::program, works-with::software:source

dep: dpkg (>= 1.15.4)

System zarządzania pakietami dla Debiana
dep: tex-common (>= 6.13)

Wspólna infrastruktura do budowy i instalacji systemu TeX

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	470,2 KiB	1 475,0 KiB	[lista plików]