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