natural-number-game
Number game
Reimplementation of the Natural Number Game in Coq
Reimplementation of Natural Number Game in Coq
6 stars
1 watching
0 forks
Language: Coq
last commit: about 2 years ago
Linked from 1 awesome list
coqgameleanlogicsolutionstheorem-prover
Related projects:
| Repository | Description | Stars |
|---|---|---|
 coq-community/hydra-battles | Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory. | 68 |
| coq-community/coqoban | A Coq implementation of the Japanese warehouse keeper's puzzle game Sokoban | 21 |
| coq-community/dedekind-reals | A formalization of Dedekind reals numbers in the Coq programming language | 43 |
| coq-community/sudoku | A formalisation of Sudoku in Coq to solve the puzzle using a naive Davis-Putnam procedure | 20 |
 math-comp/coq-combi | Formalises algebraic combinatorics in Coq using symmetric functions and polynomials | 36 |
 charguer/tlc | A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems. | 38 |
| math-comp/tutorial_material | Tutorials and materials for teaching Coq-based mathematical component development | 17 |
 geohot/coq-hardy | Formalizing mathematical theorems from Hardy's book in Coq to create a rigorous and reproducible formalization of number theory | 53 |
| coq-community/gaia | A Coq implementation of mathematical concepts from N. Bourbaki's Elements of Mathematics | 28 |
 thery/t2048 | A Coq implementation of the 2048 game | 22 |
 jubalh/nudoku | A ncurses-based implementation of the Sudoku puzzle game | 331 |
 abejfehr/parity | A numbers puzzle game where players make each number on a grid equal by incrementing selected cells with arrow key input | 37 |
| math-comp/analysis | A comprehensive Coq proof-assistant library for mathematical analysis | 206 |
| coq-community/corn | A comprehensive formalization of mathematical structures and concepts for verified computation in Coq. | 111 |
 benkoshy/numbercounter | A simple game where the user counts numbers to progress through levels | 0 |