Adding compatibility with HoTT for 8.19#600
Open
MevenBertrand wants to merge 1 commit intorocq-prover:mainfrom
Open
Adding compatibility with HoTT for 8.19#600MevenBertrand wants to merge 1 commit intorocq-prover:mainfrom
MevenBertrand wants to merge 1 commit intorocq-prover:mainfrom
Commits
Commits on May 20, 2024
- committed
