Interactive Theorem Proving and Program Development: CoqArt: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series) Go to amazon.com Related posts Top 10 coenzyme q10 webbers natural for 2022