Pakiet: acl2-infix-source (8.0dfsg-1)

[ Pakiet źródłowy: acl2  ]

Logika obliczeniowa do Applicative Common Lisp: infiksowe pliki źródłowe

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 pliki źródłowe infiksowego interfejsu do ACL2.

Znaczniki: Rozwój oprogramowania: Interpretery, Rozwijanie w języku Lisp, devel::library, field::mathematics, Zaimplementowane w: Lisp, Rola: Kod źródłowy

Inne pakiety związane z acl2-infix-source

• dep: tex-common (>= 6)

  Wspólna infrastruktura do budowy i instalacji systemu TeX

Pobieranie acl2-infix-source

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	77,3 KiB	338,0 KiB	[lista plików]