Pierre Castéran profile picture

Pierre Castéran

Is this your author profile? Create an account to claim and customize it!

Stand Alone

Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions
Pierre Castéran — Books & Biography | Menrva Books