Modeling and Proving in Computational Type Theory
Rocq Prover
128
434 commits
updated Aug 11, 2026
Contributors
gert-smolka
434 commits
Languages
Rocq Prover
100.0%
Modeling and Proving in Computational Type Theory
Rocq Prover
128
434 commits
updated Aug 11, 2026
Contributors
gert-smolka
434 commits
Languages
Rocq Prover
100.0%