lean-liquid

💧 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.

Suggest an alternative to 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 2021-02-07.
  • What are some SOLVED mysteries?
    1 project | reddit.com/r/AskReddit | 10 May 2021
    It's a long way away from research-level, but there is real progress; now, I don't see how things like topology and such like will be formalized soon, having to write down explicit transformations for things instead of just saying "this is clearly such a transformation", but I've been impressed.
  • 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.

Stats

Basic lean-liquid repo stats
2
74
9.9
1 day ago

Popular Comparisons

SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com
Find remote jobs at our new job board 99remotejobs.com. There are 32 new remote jobs listed recently.
Are you hiring? Post a new remote job listing for free.