Pakiet: acl2-infix (8.5dfsg-5)

Odnośniki dla acl2-infix

Zasoby systemu Debian:

Pobieranie pakietu źródłowego acl2:

Opiekun:

Camm Maguire (Strona QA)

Zasoby zewnętrzne:

Strona internetowa [www.cs.utexas.edu]

Podobne pakiety:

Logika obliczeniowa do Applicative Common Lisp: infiksowy interfejs

ACL2 jest jednocześnie językiem programowania do modelowania systemów komputerowych i narzędziem pomagającym wykazać ich właściwości.

Pakiet dostarcza narzędzia i biblioteki umożliwiające dostęp do ACL2 za pośrednictwem zapisu infiksowego, podobnego do tych wykorzystywanych w wielu językach programowania innych niż LISP.

Znaczniki: Rozwój oprogramowania: Interpretery, Rozwijanie w języku Lisp, devel::library, field::mathematics, Zaimplementowane w: Lisp, Rola: role::app-data, role::program, Działa z: Kod źródłowy

Inne pakiety związane z acl2-infix

wymaga

poleca

sugeruje

enhances

dep: acl2 (= 8.5dfsg-5)

Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny
dep: texlive-latex-recommended

TeX Live: LaTeX recommended packages

rec: acl2-infix-source (= 8.5dfsg-5)

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

Pobieranie acl2-infix

Pobierz dla wszystkich dostępnych architektur
Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	464,1 KiB	2 823,0 KiB	[lista plików]
arm64	460,7 KiB	2 729,0 KiB	[lista plików]
armel	459,1 KiB	1 799,0 KiB	[lista plików]
armhf	472,4 KiB	1 738,0 KiB	[lista plików]
i386	477,5 KiB	1 905,0 KiB	[lista plików]
mips64el	490,5 KiB	2 899,0 KiB	[lista plików]
mipsel	502,9 KiB	2 024,0 KiB	[lista plików]
ppc64el	483,0 KiB	3 180,0 KiB	[lista plików]
s390x	432,0 KiB	2 812,0 KiB	[lista plików]