Une axiomatique de la géométrie plane en Coq. - Inria - Institut national de recherche en sciences et technologies du numérique Accéder directement au contenu
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⟩
252 Consultations
711 Téléchargements

Partager

Gmail Mastodon Facebook X LinkedIn More