logo
Wrong email address or username
Wrong email address or username
Incorrect verification code

Interactive Theorem Proving and Program Development: Coq Art: The Calculus of Inductive Constructions - on shelves back

by Yves Bertot
show
davidofterra adamkoprowski
Need help?