Une axiomatique de la géométrie plane en Coq.

Type de document :
Communication dans un congrès
JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.123-136, 2008
Liste complète des métadonnées

Littérature citée [11 références]  Voir  Masquer  Télécharger

https://hal.inria.fr/inria-00202836
Contributeur : Sandrine Blazy <>
Soumis le : mardi 8 janvier 2008 - 17:12:53
Dernière modification le : mardi 16 janvier 2018 - 15:34:16
Document(s) archivé(s) le : jeudi 27 septembre 2012 - 13:51:47

Fichier

duprat.pdf
Fichiers produits par l'(les) auteur(s)

Identifiants

  • HAL Id : inria-00202836, version 1

Collections

Citation

Jean Duprat. Une axiomatique de la géométrie plane en Coq.. JFLA (Journées Francophones des Langages Applicatifs), Jan 2008, Etretat, France. pp.123-136, 2008. 〈inria-00202836〉

Partager

Métriques

Consultations de la notice

174

Téléchargements de fichiers

509