search

EleutherAI / math-lm

MIT License
1.03k stars 78 forks source link

Lean proofsteps #59

Closed zhangir-azerbayev closed 1 year ago

zhangir-azerbayev commented 1 year ago

Code for creating Lean proofsteps data.