Our great sponsors
-
-
I think they end up similar. Although Lean 3 is much more geared towards writing proofs with the addition of mathlib [0] which aims to be a library of formalized mathematics.
-
SonarQube
Static code analysis for 29 languages.. Your projects are multi-language. So is SonarQube analysis. Find Bugs, Vulnerabilities, Security Hotspots, and Code Smells so you can release quality code every time. Get started analyzing your projects today for free.
-
exists-unique
A formalised proof of existence and uniqueness of solution to the simultaneous debt and equity pricing problem on a banking network.
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
- Algebra Rules: The Most Useful Rules of Basic Algebra
- Is there a current active area of mathematical research where an amateur can contribute to the field (i.e. enough open tractable problems for it to be feasible)?
- The rise of formalism in mathematics - Kevin Buzzard - ICM 2022 - Special Plenary Lecture (Slides - PDF)
- Which math data repositories do you know?
- The Biggest Project in Modern Mathematics