Interactive Theorem Proving and Program Development

Coq'Art: The Calculus of Inductive Constructions

By Yves Bertot

2004

First Published

4.11

Average Rating

500

Number of Pages

15H16M

Audio Length

A practical introduction to the development of proofs and certified programs using Coq. An invaluable tool for researchers, students, and engineers interested in formal methods and the development of zero-fault software.

Avg Rating

4.11

Number of Ratings

5 STARS

43%

4 STARS

36%

3 STARS

14%

2 STARS

1 STARS

goodreads

Author

Yves Bertot

Author · 1 book

Author

Buy a copy

Choose an edition

Author

Buy a copy

Choose an edition