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

[ Zdroj: acl2  ]

Computational Logic for Applicative Common Lisp - dokumentácia

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

Ostatné balíky súvisiace s balíkom acl2-doc

• 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ť acl2-doc

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]