Balík: acl2-doc (8.0dfsg-1)

Odkazy pre acl2-doc

ACL2 je jednak programovací jazyk, v ktorom môžete modelovať počítačové systémy a jednak nástroj, ktorý vám pomôže dokázať vlastnosti týchto modelov.

Tento balík obsahuje dokumentáciu pre ACL2.

Značky: Software Development: Dokumentácia, Interpreter, Lisp Development, Pole: field::mathematics, made-of::html, Role: Dokumentácia, role::program, works-with::software:source

dep: dpkg (>= 1.15.4)

systém na správu balíkov Debianu

alebo install-info

správa nainštalovanej dokumentácie vo formáte info
dep: tex-common (>= 6)

spoločná infraštruktúra na zostavovanie a inštalovanie TeXu

Stiahnuť pre všetky dostupné architektúry
Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	392.1 kB	1,155.0 kB	[zoznam súborov]