SaaSHub helps you find the best software and product alternatives Learn more →
Lean formal-mathematic Projects
Lean mathematical components libraryProject mention: Lean – Theorem Prover | news.ycombinator.com | 2023-01-20
I think they end up similar. Although Lean 3 is much more geared towards writing proofs with the addition of mathlib  which aims to be a library of formalized mathematics.
Build time-series-based applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build real-time applications for analytics, IoT and cloud-native services. Easy to start, it is available in the cloud or on-premises.
Lean formal-mathematics related posts
Principia Mathematica in modern notation.
3 projects | reddit.com/r/math | 21 Jul 2022
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)?
1 project | reddit.com/r/math | 18 Jul 2022
The rise of formalism in mathematics - Kevin Buzzard - ICM 2022 - Special Plenary Lecture (Slides - PDF)
1 project | reddit.com/r/math | 10 Jul 2022
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
A note from our sponsor - #<SponsorshipServiceOld:0x00007fea600aff30>
www.saashub.com | 4 Feb 2023