Skip to content

Add lean_math task: evolutionary Lean 4 theorem proving via ShinkaEvolve

a530d28
Select commit
Loading
Failed to load commit list.
Open

Add lean_math task: evolutionary Lean 4 theorem proving via ShinkaEvolve #120

Add lean_math task: evolutionary Lean 4 theorem proving via ShinkaEvolve
a530d28
Select commit
Loading
Failed to load commit list.