natural-number-game
by uncomputable
Reimplementation of Natural Number Game in Coq
AI summary
Number game
Reimplementation of the Natural Number Game in Coq
- stars
- 6
- forks
- 0
- watching
- 1
- awesome list
- 1
Similar projects
Found by comparing what the projects do, not just their names.
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Puzzle game
A Coq implementation of the Japanese warehouse keeper's puzzle game Sokoban
Real number theory
A formalization of Dedekind reals numbers in the Coq programming language
Sudoku solver
A formalisation of Sudoku in Coq to solve the puzzle using a naive Davis-Putnam procedure
Combinatorics library
Formalizes algebraic combinatorics and symmetric functions in Coq.
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Coq tutorials
Tutorials and materials for teaching Coq-based mathematical component development
Number theory formalism
Formalizing mathematical theorems from Hardy's book in Coq to create a rigorous and reproducible formalization of number theory
Math library
A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics
2048 game
A Coq implementation of the 2048 game
Sudoku game
A ncurses-based implementation of the Sudoku puzzle game
Numbers game
A numbers puzzle game where players make each number on a grid equal by incrementing selected cells with arrow key input
Analysis library
A Coq proof-assistant library for real analysis and mathematical structures
Math library
A comprehensive formalization of mathematical structures and concepts for verified computation in Coq.
Number counter game
A simple game where the user counts numbers to progress through levels
Featured in 1 awesome list
Each link jumps to the spot where the list mentions natural-number-game.