Coq'Art book Code and examples from the book 'Interactive Theorem Proving and Program Development' (Coq'Art book)