A Matroid-based Automatic Prover and Coq Proof Generator for Projective Incidence Geometry
Domaines
Intelligence artificielle [cs.AI]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-04318847
Soumis le : vendredi 1 décembre 2023-23:00:10
Dernière modification le : vendredi 4 octobre 2024-08:04:29