Our great sponsors
-
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.
Proof assistants solve the intractability issue, but they get to be quite the rabbit hole. Usually they have extensive syntax inspired from many branches of mathematics and programming language design. Lean is the most active one I'd say.
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.