[ lenny ]
[ Source: coq ]
Package: coq-libs (8.1.pl3+dfsg-1)
Links for coq-libs
Debian Resources:
Download Source Package coq:
Maintainers:
- Debian OCaml Maintainers (QA Page, Mail Archive)
- Ralf Treinen (QA Page)
- Remi Vanicat (QA Page)
- Stefano Zacchiroli (QA Page)
- Samuel Mimram (QA Page)
Similar packages:
Asistent dokazovací logiky vyššího řádu (teorie)
Coq je dokazovací asistent logiky vyššího řádu, který umožňuje vývoj počítačových programů konzistentních s jejich formálními specifikacemi. Je vyvíjen pomocí objektového Caml a Camlp4. Pro více informací se podívejte na <http://coq.inria.fr/>.
Tento balíček obsahuje stávající teorie, na kterých může program zakládat, včetně teorie aritmetiky a booleovské algebry.
Other Packages Related to coq-libs
|
|
|
-
- dep: tex-common (>= 0.7)
- common infrastructure for building and installing TeX
-
- rec: coq (>= 8.0)
- Dokazovací nástroj vyšší logiky (nejvyšší úroveň a kompilátor)
Download coq-libs
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 12,296.8 kB | 37,820.0 kB | [list of files] |