The Coq mailing list

[Christopher Meiklejohn <christopher.meiklejohn AT gmail.com>]

I've personally found that the Software Foundations work is the
easiest to get started with.  I was able to understand it without any
formal background in type theory or advanced mathematics, although it
did take a bit of work.

http://www.cis.upenn.edu/~bcpierce/sf/current/index.html

- Chris


On Tue, Sep 16, 2014 at 11:45 AM, Christophe Bal 
<projetmbc AT gmail.com>
 wrote:
> 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 ;-)