There’s more to mathematics than rigour and proofs

Our great sponsors

Scout APM - Less time debugging, more time building

SonarLint - Deliver Cleaner and Safer Code - Right in Your IDE of Choice!

JetBrains - Developer Ecosystem Survey 2022

Our great sponsors

mathlib

11 1,228 10.0 Lean

Lean mathematical components library

I understood math much better after following the Software Foundations tutorials:
https://softwarefoundations.cis.upenn.edu/
Another good starting point (for mathematicians) would be the Lean community group and the Math lib project:
https://arxiv.org/pdf/1910.09336.pdf
https://github.com/leanprover-community/mathlib

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.

Suggest a related project