Skip to content
/ MPCTT Public

Modeling and Proving in Computational Type Theory

93 stars 10 forks Branches Tags Activity
Star
Notifications You must be signed in to change notification settings

uds-psl/MPCTT

1 Branch0 Tags

Folders and files

NameName
Last commit message
Last commit date

Latest commit

gert-smolkagert-smolka
green
Apr 16, 2025
db90d02 · Apr 16, 2025

History

310 Commits
rocq
rocq
Apr 16, 2025
README.md
README.md
Mar 31, 2025

Repository files navigation

MPCTT Textbook Project

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

pdf
Rocq

About

Modeling and Proving in Computational Type Theory

Resources

Readme
Activity
Custom properties

Stars

93 stars

Watchers

8 watching

Forks

10 forks
Report repository

Releases

No releases published

Packages

No packages published

Languages