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
💧 Liquid Tensor Experiment (by leanprover-community)
Our great sponsors
natural_number_game | lean-liquid | |
---|---|---|
1 | 3 | |
290 | 152 | |
1.0% | 5.9% | |
2.8 | 4.1 | |
19 days ago | 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.
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.
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
-
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.
What are some alternatives?
When comparing natural_number_game and lean-liquid 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"