pvs-with-proofs

Notoriété 13 %

Le projet pvs-with-proofs est un outil permettant la vérification formelle de preuves mathématiques en utilisant le système de preuve PVS. Il s'intègre avec différentes bibliothèques déductives telles que Nasalib, Dedukti et MetiTarski, et permet d'exporter les preuves vers divers formats.

Dépôt de code

https://github.com/Deducteam/pvs-with-proofs (nouvelle fenêtre)3 étoiles

Cas d'utilisation métiers

Vérification formelle de preuves mathématiques : rechercher des initiatives proches
Intégration avec différentes bibliothèques déductives : rechercher des initiatives proches
Exportation de preuves vers divers formats : rechercher des initiatives proches

Organisation

Administration centrale
- Gouvernement (Premier ministre et ministères)
  - Ministère de l’Enseignement supérieur, de la Recherche et de l'Espace
    - Établissements d'enseignement supérieur et de recherche - Ministère chargé de l'Enseignement supérieur
      - École normale supérieure Paris-Saclay (organisation rattachée)

Description générée le mardi 19 mars 2024 à 18:01:23

D'autres initiatives de la même organisation

lambdapi
github.com/Deducteam/lambdapi
Logipedia
github.com/Deducteam/Logipedia
Agda2Dedukti
github.com/Deducteam/Agda2Dedukti
Zenon Modulo
github.com/Deducteam/zenon_modulo