Cyril Cohen
Links
Home Page
Scientific work
Papers and Talks
PhD Thesis
Teaching
Links
Coq related links
Coq Proof Assistant
Ssreflect extension
Main coauthors websites:
Maxime Dénès
Assia Mahboubi
Anders Mörtberg
Thierry Coquand
This page was last updated at 2014-12-01 03:52:16 +0100
This site is compiled with
nanoc
and hosted by
Cr@ns