Add lean_math task: evolutionary Lean 4 theorem proving via ShinkaEvolve#120
Open
Tyronita wants to merge 1 commit intoSakanaAI:mainfrom
Open
Add lean_math task: evolutionary Lean 4 theorem proving via ShinkaEvolve#120Tyronita wants to merge 1 commit intoSakanaAI:mainfrom
Tyronita wants to merge 1 commit intoSakanaAI:mainfrom
