miniF2F
Lean
★ 1
updated 2y ago
⑂ fork
An updated version of miniF2F with lots of fixes and informal statements / solutions.
No plain-English explanation yet — one is being written right now. Check back in a minute.