Pakiet: acl2-doc (8.5dfsg-5)

[ Pakiet źródłowy: acl2  ]

Logika obliczeniowa do Applicative Common Lisp: dokumentacja

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

Inne pakiety związane z acl2-doc

• 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

Pobieranie acl2-doc

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	470,0 KiB	1 475,0 KiB	[lista plików]