469 pages
English language
Published April 9, 2004 by Springer.
Interactive theorem proving and program development
Coq'Art : the calculus of inductive constructions Texts in theoretical computer science
by Yves Bertot
Subjects
- Automatic theorem proving
- Computer programming