toutes les options
jessie  ] [  stretch  ] [  buster  ]
[ Paquet source : p9m4  ]

Paquet : prover9-mace4 (0.5.dfsg-3)

Liens pour prover9-mace4

Screenshot

Ressources Debian :

Télécharger le paquet source p9m4 :

Responsable :

Ressources externes :

Paquets similaires :

interface graphique pour Prover9 et Mace4

Ce paquet fournit une interface graphique pour utiliser facilement le démonstrateur de théorème Prover9 et le générateur de contre-exemples Mace4, ainsi qu’un certain nombre de fichiers d’entrée pour exemples.

Autres paquets associés à prover9-mace4

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger prover9-mace4

Télécharger pour toutes les architectures proposées
Architecture Taille du paquet Espace occupé une fois installé Fichiers
all 51,4 ko265,0 ko [liste des fichiers]