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

    Yves Bertot

Click on cover to enlarge.
Buy This Book
From Amazon.
11 - 13Hours to read