lean-liquid
💧 Liquid Tensor Experiment (by leanprover-community)
natural_number_game
Building the natural numbers in Lean 3. The original natural number game, now frozen. See README for Lean 4 information. (by ImperialCollegeLondon)
| lean-liquid | natural_number_game | |
|---|---|---|
| 3 | 1 | |
| 155 | 290 | |
| 1.9% | 0.0% | |
| 4.1 | 2.8 | |
| 3 months ago | about 2 months ago | |
| Lean | Lean | |
| - | Apache License 2.0 |
The number of mentions indicates the total number of mentions that we've tracked plus the number of user suggested alternatives.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
Stars - the number of stars that a project has on GitHub. Growth - month over month growth in stars.
Activity is a relative number indicating how actively a project is being developed. Recent commits have higher weight than older ones.
For example, an activity of 9.0 indicates that a project is amongst the top 10% of the most actively developed projects that we are tracking.
lean-liquid
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
-
What are some SOLVED mysteries?
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?
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.
natural_number_game
Posts with mentions or reviews of natural_number_game.
We have used some of these posts to build our list of alternatives
and similar projects. The last one was on 2021-02-07.
-
Is there a book like Russell's Principia Mathematica but for modern day mathematics?
I assume we're talking about the natural number game. I can't make fancy drop-down menus. I just wrote the Lean code, which is all available on github. Mohammad made the web interface. If you want to make a more powerful interface please feel free! I am not a computer scientist and I don't know anything about web design.
What are some alternatives?
When comparing lean-liquid and natural_number_game you can also consider the following projects:
mathlib - Lean 3's obsolete mathematical components library: please use mathlib4
adjoint - Thoughts on adjoint, norm and such.
CBofN - Source code from the book "The Computational Beauty of Nature"