The Coq mailing list

[Christophe Bal <projetmbc AT gmail.com>]

Thanks a lot for the link, that I know, and the videos. I'm lucky to be french.

2014-09-16 12:09 GMT+02:00 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 ;-)