Loreon
Labs
Platform
Docs
Home
Ecosystems
Rocq Prover
natural-number-game
Reimplementation of Natural Number Game in Coq
Rocq Prover
Emerging
coq
game
lean
logic
GitHub
Stars
7
Forks
1
Contributors
2
Last push
1mo ago
Recent commits
Latest commits.
Merge pull request #1 from SuperCowProducts/master
eb08bcf
Christian Lewe
1mo ago
Add `rocq`-specific build instructions instead of `coq`
c1609f2
Alessandro Griseta
1mo ago
Initial commit
d7bf592
Alessandro Griseta
1mo ago
Add new worlds
602e06e
Christian Lewe
44mo ago
Update Readme
5a76412
Christian Lewe
44mo ago
Add license
47c10c8
Christian Lewe
44mo ago
Initial commit
951cc41
Christian Lewe
44mo ago
Top contributors
Builders behind this project.
uncomputable
5 commits
SuperCowProducts
2 commits
