Lean mathematical components library
There is this one in Lean: https://github.com/leanprover-community/mathlib/blob/master/src/number_theory/sum_four_squares.lean
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.
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
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
Why is simplicity so unreasonably effective at scientific explanation?
1 project | reddit.com/r/slatestarcodex | 13 Oct 2021