wszystkie opcje
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Pakiet źródłowy: acl2  ]

Pakiet: acl2-books-certs (8.0dfsg-1)

Odnośniki dla acl2-books-certs

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego acl2:

Opiekun:

Podobne pakiety:

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

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie acl2-books-certs

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 71 588,7 KiB265 716,0 KiB [lista plików]