Lean theorem-proving

Open-source Lean projects categorized as theorem-proving Edit details

Lean theorem-proving Projects

  • mathlib

    Lean mathematical components library

    Project 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.

NOTE: The open source projects on this list are ordered by number of github stars. The number of mentions indicates repo mentiontions in the last 12 Months or since we started tracking (Dec 2020). The latest post mention was on 2022-06-27.

Lean theorem-proving related posts


Project Stars
1 mathlib 1,228
Find remote jobs at our new job board 99remotejobs.com. There are 4 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.
Less time debugging, more time building
Scout APM allows you to find and fix performance issues with no hassle. Now with error monitoring and external services monitoring, Scout is a developer's best friend when it comes to application development.