French version (more complete)

Stéphane Glondu

Research engineer - Inria Nancy Grand Est - LORIA - SED
PhD from University Paris Diderot - Paris 7
ENS Cachan alumnus
Mail: firstname@lastname.net, Firstname.Lastname@{in,lo}ria.fr
ma photo

Developments in Coq

Publications

Reports

Miscellaneous


Last update: Mon Jan 4 13:58:05 CET 2016.
Website hosted by Cr@ns.
Discover Objective Caml! Valid XHTML 1.0!