sortion/rocq-natural-number-game
1
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
A play of the Lean Natural Number game with Rocq prover
2 commits 1 branch 0 tags 53 KiB
Find a file
Exact
Samuel Ortion b15507a7a7
 Update
2026-04-20 20:48:16 +02:00
.gitignore Update 2026-04-20 20:48:16 +02:00
_CoqProject Update 2026-04-20 20:48:16 +02:00
AdditionWorld.v Update 2026-04-20 20:48:16 +02:00
AlgorithmWorld.v Update 2026-04-20 20:48:16 +02:00
ImplicationWorld.v Update 2026-04-20 20:48:16 +02:00
Makefile Update 2026-04-20 20:48:16 +02:00
MultiplicationWorld.v Initial commit 2025-07-10 19:05:49 +02:00
PowerWorld.v Update 2026-04-20 20:48:16 +02:00
README.md Update 2026-04-20 20:48:16 +02:00
TutorialWorld.v Initial commit 2025-07-10 19:05:49 +02:00

README.md

Natural Number Game in Rocq

This repository aims at solving the Natural Number Game using the Rocq prover.

Source of the game for the Lean prover: https://adam.math.hhu.de/#/g/leanprover-community/nng4