Pakiet: acl2-books (8.5dfsg-5)

[ Pakiet źródłowy: acl2  ]

Logika obliczeniowa do Applicative Common Lisp: skompilowane biblioteki

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 wiele prekompilowanych i precertyfikowanych bibliotek używanych do udowodnienia twierdzeń z ACL2. Poważni użytkownicy bez wątpienia zechcą zainstalować ten pakiet.

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-books

• dep: acl2 (= 8.5dfsg-5)

  Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny

• dep: acl2-books-certs (= 8.5dfsg-5)

  Logika obliczeniowa do Applicative Common Lisp: certyfikaty bibliotek

• dep: acl2-books-source (= 8.5dfsg-5)

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

Pobieranie acl2-books

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
amd64	293 848,6 KiB	2 436 198,0 KiB	[lista plików]
arm64	296 358,3 KiB	2 437 826,0 KiB	[lista plików]
armel	274 222,5 KiB	1 633 425,0 KiB	[lista plików]
armhf	278 225,6 KiB	1 576 382,0 KiB	[lista plików]
i386	253 523,1 KiB	1 503 768,0 KiB	[lista plików]
mips64el	316 892,3 KiB	2 655 369,0 KiB	[lista plików]
mipsel	291 380,8 KiB	1 724 527,0 KiB	[lista plików]
ppc64el	298 499,2 KiB	2 607 935,0 KiB	[lista plików]
s390x	273 788,6 KiB	2 428 464,0 KiB	[lista plików]