SaaSHub helps you find the best software and product alternatives Learn more →
Lean formalmathematic Projects

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.

InfluxDB
Build timeseriesbased applications quickly and at scale.. InfluxDB is the Time Series Platform where developers build realtime applications for analytics, IoT and cloudnative services. Easy to start, it is available in the cloud or onpremises.
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 20230120.
Lean formalmathematics related posts
 Principia Mathematica in modern notation.
 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
 There’s more to mathematics than rigour and proofs
 The Lean Theorem Prover

A note from our sponsor  #<SponsorshipServiceOld:0x00007fea600aff30>
www.saashub.com  4 Feb 2023
Index
Project  Stars  

1  mathlib  1,429 
SaaSHub  Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com