Natural Number Game

github.comtool

Coq version of the natural number game developed for the Lean prover.

from

Coq

added

2026-10-10

likes

0

similar

1. ▲
   Natural Number Game adam.math.hhu.de

   site category #math link ↗

   Interactive Lean 4 game that introduces theorem proving through guided exercises about natural numbers.

2. ▲
   Swift Natural Numbers github.com

   tool category #swift-playgrounds link ↗
   
3. ▲
   Sudoku github.com

   tool category #coq link ↗

   Formalization and solver of the Sudoku number-placement puzzle in Coq.

   
4. ▲
   Floating-Point Numbers and Formal Proof github.com

   tool category #coq link ↗

   Introductory course on Coq real numbers and floating-point numbers from the Flocq library.

   
5. ▲
   Coqoban github.com

   tool category #coq link ↗

   Coq implementation of Sokoban, the Japanese warehouse keepers' game.

   
6. ▲
   Name the Biggest Number github.com

   tool category #coq link ↗

   Repository for submitting proven contenders for the title of biggest number in Coq.

   

Coq › Projects > Puzzles and Games: “Coq version of the natural number game developed for the Lean prover.”