Pakiet: acl2-infix (8.3dfsg-2)
Odnośniki dla acl2-infix
Zasoby systemu Debian:
- Raporty o błędach
- Developer Information
- Dziennik zmian w systemie Debian
- Informacje nt. praw autorskich
- Śledzenie łatek systemu Debian
Pobieranie pakietu źródłowego acl2:
Opiekun:
Podobne pakiety:
Logika obliczeniowa do Applicative Common Lisp: infiksowy interfejs
ACL2 jest jednocześnie językiem programowania do modelowania systemów komputerowych i narzędziem pomagającym wykazać ich właściwości.
Pakiet dostarcza narzędzia i biblioteki umożliwiające dostęp do ACL2 za pośrednictwem zapisu infiksowego, podobnego do tych wykorzystywanych w wielu językach programowania innych niż LISP.
Inne pakiety związane z acl2-infix
|
|
|
|
-
- dep: acl2 (= 8.3dfsg-2)
- Logika obliczeniowa do Applicative Common Lisp: podstawowy plik binarny
-
- dep: texlive-latex-recommended
- TeX Live: LaTeX recommended packages
-
- rec: acl2-infix-source (= 8.3dfsg-2)
- Logika obliczeniowa do Applicative Common Lisp: infiksowe pliki źródłowe
Pobieranie acl2-infix
Architektura | Rozmiar pakietu | Rozmiar po instalacji | Pliki |
---|---|---|---|
mipsel | 508,9 KiB | 2 180,0 KiB | [lista plików] |