Pakiet: acl2-doc (8.3dfsg-2)

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

lub install-info

Zarządzanie zainstalowaną dokumentacją w formacie info
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	437,1 KiB	1 304,0 KiB	[lista plików]