An explanation of Prop, SProp and hProp#109
Draft
LeoAlexElouan wants to merge 4 commits intorocq-prover:mainfrom
Draft
An explanation of Prop, SProp and hProp#109LeoAlexElouan wants to merge 4 commits intorocq-prover:mainfrom
LeoAlexElouan wants to merge 4 commits intorocq-prover:mainfrom
Commits
Commits on May 13, 2025
- committed
- committed
