Add Lean benchmarks for rewrite_with_eq_f_a, rewrite_with_eq_haa_a#1
Open
JasonGross wants to merge 4 commits intotriviajon:mainfrom
Open
Add Lean benchmarks for rewrite_with_eq_f_a, rewrite_with_eq_haa_a#1JasonGross wants to merge 4 commits intotriviajon:mainfrom
JasonGross wants to merge 4 commits intotriviajon:mainfrom
Commits
Commits on Apr 20, 2025
- committed
- committed
- committed
