Pakiet: acl2-books (8.4dfsg-2) [debports]

Odnośniki dla acl2-books

Zasoby systemu Debian:

Raporty o błędach

Pobieranie pakietu źródłowego :

Nie znaleziono

Opiekunowie:

Zasoby zewnętrzne:

Strona internetowa [www.cs.utexas.edu]

Podobne pakiety:

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.

Inne pakiety związane z acl2-books

wymaga

poleca

sugeruje

enhances

dep: acl2 (= 8.4dfsg-2)

Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny
dep: acl2-books-certs (= 8.4dfsg-2)

Logika obliczeniowa do Applicative Common Lisp: certyfikaty bibliotek
dep: acl2-books-source (= 8.4dfsg-2)

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
alpha (port nieoficjalny)	289 668,4 KiB	2 492 023,0 KiB	[lista plików]