Sign in
Rare find
MPCTT.
Modeling and Proving in Computational Type Theory
github.com/uds-psl/MPCTT
by
@uds-psl
Problem
Audience
Keep exploring
Updates
Founder
0
Product
0
No founder updates yet. Check back soon.
🧪
staging
