Balík: acl2-books-source (8.0dfsg-1)

[ Zdroj: acl2  ]

Computational Logic for Applicative Common Lisp - zdrojový kód knižníc

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 zdrojový kód v jazyku Lisp mnohých skompilovaných knižníc dodávaných v balíku ACL2-books.

Značky: Software Development: Interpreter, Lisp Development, Implementované v: implemented-in::lisp, interface::text-mode, Role: Program, Source Code, Sada nástrojov používateľského rozhrania: Ncurses TUI

Ostatné balíky súvisiace s balíkom acl2-books-source

• dep: acl2 (>= 8.0dfsg-1)

  Computational Logic for Applicative Common Lisp - hlavný binárny súbor

• dep: tex-common (>= 6)

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

Stiahnuť acl2-books-source

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	12,181.1 kB	120,618.0 kB	[zoznam súborov]