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

Jean Duprat

Conference Papers Year : 2008

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

(1)

1

Jean Duprat

Function : Author

Laboratoire de l'Informatique du Parallélisme

Domains

Computer Science [cs] Programming Languages [cs.PL]

Fichier principal

duprat.pdf (127.8 Ko)

Origin : Files produced by the author(s)

Sandrine Blazy : Connect in order to contact the contributor

https://hal.inria.fr/inria-00202836

Submitted on : Tuesday, January 8, 2008-5:12:53 PM

Last modification on : Thursday, September 29, 2022-2:58:07 PM

Long-term archiving on: Thursday, September 27, 2012-1:51:47 PM

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⟩

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

Domains

Dates and versions

Identifiers

Cite

Export

Collections

Share