Sign in
Join Literal
Authors
Author
Pierre Castéran
Books
Interactive Theorem Proving and Program Development
Yves Bertot, Pierre Castéran