toutes les options
buster  ] [  bullseye  ] [  bookworm  ] [  trixie  ] [  sid  ]
[ Paquet source : prover9-manual  ]

Paquet : prover9-doc (0.0.200902a-2)

Liens pour prover9-doc

Screenshot

Ressources Debian :

Télécharger le paquet source prover9-manual :

Responsable :

Ressources externes :

Paquets similaires :

documentation pour Prover9 et programmes associés.

Prover9 est un démonstrateur de théorème automatique de calcul des prédicats du premier ordre. C’est un successeur du démonstrateur Otter. Prover9 utilise les techniques d’inférence de résolution et paramodulation ordonnées avec sélection de littéraux.

Ce paquet fournit la documentation pour Prover9, Mace4 et d’autres programmes associés.

Autres paquets associés à prover9-doc

  • dépendances
  • recommandations
  • suggestions
  • enhances

Télécharger prover9-doc

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