The Coq mailing list

[Nuno Gaspar <nmpgaspar AT gmail.com>]

assuming you're french, this may be for you: http://fuscia.inrialpes.fr/cours/coq/index.php

hope it helps.

2014-09-16 11:45 GMT+02:00 Christophe Bal <projetmbc AT gmail.com>:

Hello.

Is there some website showing very easy use of Coq that can be understood by a non expert ? Math examples are welcome.

Chirstophe BAL, a kind of child ;-)

--
Bart: Look at me, I'm a grad student, I'm 30 years old and I made $600 dollars last year.
Marge: Bart! Don't make fun of grad students, they just made a terrible life choice.