logoalt Hacker News

7373737373 • today at 1:46 AM • 1 reply • view on HN

Oh? Where can i read more about that? It appears the sole focus so far was solving open problems

Replies

mattmar96 • today at 2:04 AM

I believe that is the goal of MathLib, to transcribe all math into a big Lean library.

https://lean-lang.org/use-cases/mathlib/

➕ show 1 reply