Natural Number Game
Interactive Lean 4 game that introduces theorem proving through guided exercises about natural numbers.
- from
- Math
- added
- 2026-10-10
- likes
- 0
similar
-
Natural Number Game github.com
Coq version of the natural number game developed for the Lean prover.
-
-
Mathematics in Lean leanprover-community.github.io
Free textbook with examples and exercises for mathematicians learning Lean 4 and mathlib.
-
Courses Using Lean leanprover-community.github.io
Maintained, filterable index of university courses that teach Lean or use it for mathematics, logic, programming, and formal verification.
-
Surreal Numbers and Games web.mit.edu
Introductory notes on Conway's surreal numbers and their connection with combinatorial game theory.
-
Swift Natural Numbers github.com
Math › Foundations and Logic > Formal Mathematics and Theorem Proving: “Interactive Lean 4 game that introduces theorem proving through guided exercises about natural numbers.”