natural_number_game VS lean-liquid

Compare natural_number_game vs lean-liquid and see what are their differences.

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
  • InfluxDB - Power Real-Time Data Analytics at Scale
  • WorkOS - The modern identity platform for B2B SaaS
  • SaaSHub - Software Alternatives and Reviews
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.

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.

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

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"