Lean theorem-proving Projects
Lean mathematical components libraryProject mention: Which math data repositories do you know? | reddit.com/r/math | 2022-06-27
Not sure if this is what you're meaning, but the mathlib repo has source code for a ton of math written in LEAN (most of undergrad mathematics, plus random things from all over the place). The language is a proof assistant language, so the math IS the data, which is kind of cool when you think about it. I guess one of the reasons for building the repo in the first place is to get enough training data for exploring automated math from a program synthesis perspective.
Lean theorem-proving related posts
Which math data repositories do you know?
1 project | reddit.com/r/math | 27 Jun 2022
The Biggest Project in Modern Mathematics
1 project | news.ycombinator.com | 13 Jun 2022
An automatic theorem proving project
2 projects | news.ycombinator.com | 28 Apr 2022
Proving the Validity of a Proof or Proof Method
2 projects | reddit.com/r/math | 23 Apr 2022
There’s more to mathematics than rigour and proofs
1 project | news.ycombinator.com | 19 Apr 2022
The Lean Theorem Prover
1 project | news.ycombinator.com | 21 Mar 2022
Is there a formal proof that all integers can be expressed as the sum of four squares?
1 project | reddit.com/r/math | 19 Mar 2022
Are you hiring? Post a new remote job listing for free.