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)

Natural_number_game Alternatives

Similar projects and alternatives to natural_number_game

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a better natural_number_game alternative or higher similarity.

natural_number_game reviews and mentions

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.

Stats

Basic natural_number_game repo stats
1
290
2.8
about 2 months ago

ImperialCollegeLondon/natural_number_game is an open source project licensed under Apache License 2.0 which is an OSI approved license.

The primary programming language of natural_number_game is Lean.


Sponsored
SaaSHub - Software Alternatives and Reviews
SaaSHub helps you find the best software and product alternatives
www.saashub.com