[ bullseye ]
[ bookworm ]
[ Paquet source : prooftree ]
Paquet : prooftree (0.13-2 et autres)
Liens pour prooftree
Ressources Debian :
- Rapports de bogues
- Developer Information
- Journal des modifications Debian
- Fichier de licence
- Suivis des correctifs pour Debian
Télécharger le paquet source prooftree :
Responsables :
Ressources externes :
- Page d'accueil [askra.de]
Paquets similaires :
visualisation d’arbre de preuve pour Proof General
Prooftree dessine des arbres de démonstration pendant le développement interactif de démonstrations avec Proof General, une interface d’assistant de preuve. Il est possible d’examiner les buts et les commandes de démonstration et de vérifier où les variables existentielles ont été introduites et instanciées. Actuellement, Prooftree fonctionne uniquement avec Coq.
Autres paquets associés à prooftree
|
|
|
|
-
- dep: coq (>= 8.4)
- outil d'aide à la preuve pour la logique d'ordre supérieur (environnement interactif et compilateur)
-
- dep: liblablgtk2-ocaml-ea813
- paquet virtuel fourni par liblablgtk2-ocaml
-
- dep: ocaml-base-nox-4.11.1
- paquet virtuel fourni par ocaml-base-nox
-
- dep: proofgeneral (>= 4.3~pre130510)
- frontal générique d’assistants de preuve
Télécharger prooftree
| Architecture | Version | Taille du paquet | Espace occupé une fois installé | Fichiers |
|---|---|---|---|---|
| mips64el | 0.13-2+b1 | 1 141,8 ko | 4 784,0 ko | [liste des fichiers] |