Une axiomatique de la géométrie plane en Coq. - Inria - Institut national de recherche en sciences et technologies du numérique
Communication Dans Un Congrès Année : 2008

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

Fichier principal
Vignette du fichier
duprat.pdf (127.8 Ko) Télécharger le fichier
Origine Fichiers produits par l'(les) auteur(s)
Loading...

Dates et versions

inria-00202836 , version 1 (08-01-2008)

Identifiants

  • HAL Id : inria-00202836 , version 1

Citer

Jean Duprat. Une axiomatique de la géométrie plane en Coq.. JFLA (Journées Francophones des Langages Applicatifs), INRIA, Jan 2008, Etretat, France. pp.123-136. ⟨inria-00202836⟩
259 Consultations
726 Téléchargements

Partager

More