-
InfluxDB
Power Real-Time Data Analytics at Scale. Get real-time insights from all types of time series data with InfluxDB. Ingest, query, and analyze billions of data points in real-time with unbounded cardinality.
> Last time I checked there was still no formal version of Cantor's diagonalization argument.
Formalization? Like a computer checked proof?
Lean: https://leanprover-community.github.io/mathlib_docs/logic/fu...
Coq: https://github.com/bmsherman/finite/blob/63706fa4898aa05296c...
Isabelle: https://isabelle.in.tum.de/website-Isabelle2009-2/dist/libra...
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.