Balík: acl2-source (8.5dfsg-5)

[ Zdroj: acl2  ]

Computational Logic for Applicative Common Lisp - zdrojový kód

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 k hlavnému spustiteľnému súboru ACL2.

Značky: Software Development: Interpreter, Lisp Development, Pole: field::mathematics, implemented-in::lisp, User Interface: Text-based Interactive, Role: role::program, role::source, Sada nástrojov používateľského rozhrania: Ncurses TUI

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

• dep: tex-common (>= 6.13)

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

Stiahnuť acl2-source

Stiahnuť pre všetky dostupné architektúry

Architektúra	Veľkosť balíka	Nainštalovaná veľkosť	Súbory
all	3,503.8 kB	18,837.0 kB	[zoznam súborov]