[Interactive Theorem Proving and Program Development Quotes

Rate this book

Clear rating

1 of 5 stars 2 of 5 stars 3 of 5 stars 4 of 5 stars 5 of 5 stars

[Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)] [Author: Bertot, Yves] [May, 2004]

[Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)] [Author: Bertot, Yves] [May, 2004] by Yves Bertot
0 ratings, 0.00 average rating, 0 reviews

[Interactive Theorem Proving and Program Development Quotes Showing 0-0 of 0

All Quotes
Quotes By Yves Bertot