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

[ Pakiet źródłowy: acl2  ]

Logika obliczeniowa do Applicative Common Lisp: pliki źródłowe 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 pliki źródłowe Lisp do skompilowanych bibliotek dostarczanych w pakiecie ACL2-books.

Znaczniki: Rozwój oprogramowania: Interpretery, Rozwijanie w języku Lisp, Zaimplementowane w: implemented-in::lisp, interface::text-mode, Rola: Program, Kod źródłowy, Pakiet narzędziowy interfejsu: Ncurses (terminalowy)

Inne pakiety związane z acl2-books-source

• dep: acl2 (>= 8.0dfsg-1)

  Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny

• dep: tex-common (>= 6)

  Wspólna infrastruktura do budowy i instalacji systemu TeX

Pobieranie acl2-books-source

Pobierz dla wszystkich dostępnych architektur

Architektura	Rozmiar pakietu	Rozmiar po instalacji	Pliki
all	12 181,1 KiB	120 618,0 KiB	[lista plików]