Une axiomatique de la géométrie plane en Coq.
Domaines
Langage de programmation [cs.PL]Origine | Fichiers produits par l'(les) auteur(s) |
---|
Loading...
Portail INRIA.HAL.SCIENCE Les publications, logiciels... des scientifiques Inria |
Origine | Fichiers produits par l'(les) auteur(s) |
---|
Sandrine Blazy : Connectez-vous pour contacter le contributeur
https://inria.hal.science/inria-00202836
Soumis le : mardi 8 janvier 2008-17:12:53
Dernière modification le : mardi 10 septembre 2024-13:22:39
Archivage à long terme le : jeudi 27 septembre 2012-13:51:47