The Coq mailing list

[Laurent Théry <Laurent.Thery AT inria.fr>]

>>>
>>> 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 ;-)
>>
> 


You can also have a look at the website

http://www-sop.inria.fr/marelle/Laurent.Thery/LeMonde/

that shows how to solve some math problems proposed by the newspaper Le
Monde using Coq/Ssreflect. The videos that explain the problems are in
french.



--
Laurent