Comment by blazespin

More training data on advanced math. Lean is cool, but it's mostly about formalizing stuff we already know.