Benchmarks for the CwF and SplTC equivalence#193
Draft
tvignon wants to merge 2 commits intoUniMath:masterfrom
Draft
Benchmarks for the CwF and SplTC equivalence#193tvignon wants to merge 2 commits intoUniMath:masterfrom
tvignon wants to merge 2 commits intoUniMath:masterfrom
Commits
Commits on May 31, 2021
- committed
