Interactive Theorem Proving and Program Development: Coq'Art: The Calculus of Inductive Constructions (Texts in Theoretical Computer Science. An EATCS Series)
by Yves Bertot,Pierre Castéran
ISBN 13: 9783540208549
Format: Hardcover (500 pages) Publisher: Springer Published: 14 May 2004
Save for later