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

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

Ta strona jest również dostępna w następujących językach (sprawdź jak ustawić domyślny język dokumentu):