Pakiet: acl2-books-certs (8.5dfsg-5)

[ Pakiet źródłowy: acl2  ]

Logika obliczeniowa do Applicative Common Lisp: certyfikaty bibliotek

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 rekordy z certyfikatami do różnych prekompilowanych bibliotek dostarczanych w pakiecie ACL2-books. ACL2 wymaga przede wszystkim, aby wszystkie biblioteki były certyfikowane przed ich użyciem.

Znaczniki: Rozwój oprogramowania: Interpretery, Rozwijanie w języku Lisp, devel::library, field::mathematics, Zaimplementowane w: Lisp, Interfejs użytkownika: interface::text-mode, role::app-data, Rola: Biblioteka deweloperska, Program, Pakiet narzędziowy interfejsu: uitoolkit::ncurses, works-with::software:source

Inne pakiety związane z acl2-books-certs

• dep: acl2 (>= 8.5dfsg-5)

  Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny

• dep: tex-common (>= 6.13)

  Wspólna infrastruktura do budowy i instalacji systemu TeX

Pobieranie acl2-books-certs

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	174 194,4 KiB	661 910,0 KiB	[lista plików]