Spahn Coq

the Coq proof assistant, home
Yves Bertot, Pierre Castéran, Le Coq’ Art, 2011, pdf
Coq manual, web
Coq tutorial, web
the Coq standard library, web
C-CoRN, the Coq constructive repository at Nijmegen, web

Created on August 8, 2012 at 21:28:55. See the history of this page for a list of all contributions to it.