• 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.