[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]

Yves Bertot, Unknown Author

Hardcover

About the author

Yves Bertot

7 books2 followers

What do you think?

Friends & Following

Create a free account to discover what your friends think of this book!

Community Reviews

5 stars

0 (0%)

4 stars

0 (0%)

3 stars

0 (0%)

2 stars

0 (0%)

1 star

0 (0%)

Join the discussion