💧 Liquid Tensor Experiment (by leanprover-community)

Lean-liquid Alternatives

Similar projects and alternatives to lean-liquid

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
    4 projects | news.ycombinator.com | 23 Dec 2022
  • Is there a book like Russell's Principia Mathematica but for modern day mathematics?
    3 projects | reddit.com/r/math | 7 Feb 2021
    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.


Basic lean-liquid repo stats
4 months ago

Popular Comparisons

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives