Our great sponsors
-
-
WorkOS
The modern identity platform for B2B SaaS. The APIs are flexible and easy-to-use, supporting authentication, user identity, and complex enterprise features like SSO and SCIM provisioning.
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.
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a more popular project.
Related posts
- An Easy-Sounding Problem Yields Numbers Too Big for Our Universe
- Towards a new SymPy: part 2 – Polynomials
- It's not mathematics that you need to contribute to (2010)
- Did studying proof based math topics e.g. analysis make you a better programmer?
- Which proof assistant is the best to formalize real analysis/probability/statistics?