-
At this point I would go with Lean because of mathlib. Mathlib's goal is to formalize modern mathematics, so many of the theorems you would need for analysis should already be there for you.
-
InfluxDB
InfluxDB – Built for High-Performance Time Series Workloads. InfluxDB 3 OSS is now GA. Transform, enrich, and act on time series data directly in the database. Automate critical tasks and eliminate the need to move data externally. Download now.
-
-
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
-
An Easy-Sounding Problem Yields Numbers Too Big for Our Universe
-
Towards a new SymPy: part 2 – Polynomials
-
It's not mathematics that you need to contribute to (2010)
-
Did studying proof based math topics e.g. analysis make you a better programmer?
-
[R] Large Language Models trained on code reason better, even on benchmarks that have nothing to do with code