Skip to content

Benchmarks for the CwF and SplTC equivalence#193

Draft
tvignon wants to merge 2 commits into
UniMath:masterfrom
tvignon:benchmarks
Draft

Benchmarks for the CwF and SplTC equivalence#193
tvignon wants to merge 2 commits into
UniMath:masterfrom
tvignon:benchmarks

Benchmark for middle structure

4a4e984
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs