Skip to Main content Skip to Navigation
Conference papers

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

Document type :
Conference papers
Complete list of metadata

Cited literature [11 references]  Display  Hide  Download

https://hal.inria.fr/inria-00202836
Contributor : Sandrine Blazy <>
Submitted on : Tuesday, January 8, 2008 - 5:12:53 PM
Last modification on : Friday, September 10, 2021 - 2:34:03 PM
Long-term archiving on: : Thursday, September 27, 2012 - 1:51:47 PM

File

duprat.pdf
Files produced by the author(s)

Identifiers

  • 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), INRIA, Jan 2008, Etretat, France. pp.123-136. ⟨inria-00202836⟩

Share

Metrics

Record views

410

Files downloads

964