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

Pakiet: acl2-doc (8.3dfsg-2)

Odnośniki dla acl2-doc

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego acl2:

Opiekun:

Podobne pakiety:

Logika obliczeniowa do Applicative Common Lisp: dokumentacja

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 dokumentację do ACL2.

Znaczniki: Rozwój oprogramowania: Dokumentacja, Interpretery, Rozwijanie w języku Lisp, Dziedzina: field::mathematics, made-of::html, Rola: Dokumentacja, role::program, works-with::software:source

Inne pakiety związane z acl2-doc

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie acl2-doc

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 437,1 KiB1 304,0 KiB [lista plików]