Skip to content

Add Lean benchmarks for rewrite_with_eq_f_a, rewrite_with_eq_haa_a#1

Open
JasonGross wants to merge 4 commits into
triviajon:mainfrom
JasonGross:lean
Open

Add Lean benchmarks for rewrite_with_eq_f_a, rewrite_with_eq_haa_a#1
JasonGross wants to merge 4 commits into
triviajon:mainfrom
JasonGross:lean

Add benchmark results .json

c3e624b
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs