[ Source: dh-coq ]
Package: debian-coq-tools (0.11)
Links for debian-coq-tools
Debian Resources:
Download Source Package dh-coq:
Maintainers:
Similar packages:
vari strumenti per gestire pacchetti Debian relativi a Coq
Questi strumenti rendono più facile tracciare le dipendenze dei pacchetti e le possibili situazioni difettose, e mantenere sano l'intero stack Coq-in-Debian.
Coq è un assistente alle dimostrazioni per logiche di ordine superiore.
Other Packages Related to debian-coq-tools
|
|
|
|
-
- dep: python3
- linguaggio interattivo di alto livello orientato agli oggetti (versione python3 predefinita)
Download debian-coq-tools
| Architecture | Package Size | Installed Size | Files |
|---|---|---|---|
| all | 7.4 kB | 29.0 kB | [list of files] |