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

Pakiet: acl2-source (8.5dfsg-6)

Odnośniki dla acl2-source

Screenshot

Zasoby systemu Debian:

Pobieranie pakietu źródłowego acl2:

Opiekun:

Zasoby zewnętrzne:

Podobne pakiety:

Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe

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 pliki źródłowe Lisp do głównego pliku binarnego ACL2.

Znaczniki: Rozwój oprogramowania: Interpretery, Rozwijanie w języku Lisp, Dziedzina: field::mathematics, implemented-in::lisp, Interfejs użytkownika: Interaktywny interfejs tekstowy, Rola: role::program, role::source, Pakiet narzędziowy interfejsu: Ncurses (terminalowy)

Inne pakiety związane z acl2-source

  • wymaga
  • poleca
  • sugeruje
  • enhances

Pobieranie acl2-source

Pobierz dla wszystkich dostępnych architektur
Architektura Rozmiar pakietu Rozmiar po instalacji Pliki
all 3 503,7 KiB18 837,0 KiB [lista plików]