Lean-liquid Alternatives
Similar projects and alternatives to lean-liquid
-
-
-
InfluxDB
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.
-
-
NOTE:
The number of mentions on this list indicates mentions on common posts plus user suggested alternatives.
Hence, a higher number means a better lean-liquid alternative or higher similarity.
lean-liquid reviews and mentions
Posts with mentions or reviews of lean-liquid.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2022-12-23.
- The Mathematical Hacker
-
Is there a book like Russell's Principia Mathematica but for modern day mathematics?
Re your second para: you make speculations, but here are the facts. There certainly is a bunch of interest right now in formalising mathematics, there are fully paid-up mathematicians like myself hanging out on the Lean chat, working on stuff like this -- undergraduates, PhD students, post-docs and permanent staff. The repo is here and it's coming along nicely. Movement is happening. But it will be a while before we can convince the "generic mathematician" that these tools are useful. The Scholze project linked to in those links above is just another data point, but I fear we will need many more.
Stats
Basic lean-liquid repo stats
3
113
9.7
4 months ago
Popular Comparisons
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com