| HAL-Inria | Publications, software ... of Inria's scientists |
Conference papers
Une axiomatique de la géométrie plane en Coq.
Cited literature [11 references]
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
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)