MPCTT Textbook Project

Modeling and Proving in Computational Type Theory Using the Rocq Prover
Gert Smolka

Name		Name	Last commit message	Last commit date
Latest commit History 432 Commits
rocq		rocq
README.md		README.md

Navigation Menu