Une axiomatique de la géométrie plane en Coq. - Archive ouverte HAL Access content directly
Conference Papers Year : 2008

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

(1)
1
Fichier principal
Vignette du fichier
duprat.pdf (127.8 Ko) Télécharger le fichier
Origin : Files produced by the author(s)
Loading...

Dates and versions

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

Identifiers

  • HAL Id : inria-00202836 , version 1

Cite

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⟩
244 View
627 Download

Share

Gmail Facebook Twitter LinkedIn More