Integrating an Automated Prover for Projective Geometry as a New Tactic in the Coq Proof Assistant
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Archive ouverte univOAK : Connectez-vous pour contacter le contributeur
https://hal.science/hal-03268103
Soumis le : jeudi 21 octobre 2021-11:37:04
Dernière modification le : jeudi 11 avril 2024-13:08:14
Archivage à long terme le : samedi 22 janvier 2022-18:43:11