Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant - Archive ouverte HAL
Communication Dans Un Congrès Année : 2021

Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant

Fichier principal
Vignette du fichier
PDF Datastream.pdf (185.52 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)

Dates et versions

hal-03268103 , version 1 (21-10-2021)

Identifiants

Citer

Nicolas Magaud. Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant. Seventh Workshop on Proof eXchange for Theorem Proving PxTP 2021, Jul 2021, En ligne, France. ⟨10.4204/EPTCS.336.4⟩. ⟨hal-03268103⟩
33 Consultations
35 Téléchargements

Altmetric

Partager

More