Yves Bertot

1 book

Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions by Yves Bertot

Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions

Yves Bertot

472 pages • first pub 2004 (editions)

nonfiction computer science mathematics informative slow-paced