hanoi
Disc mover
A Coq-based library for solving the classic mathematical puzzle of moving discs between pegs.
Hanoi tower in Coq
24 stars
2 watching
1 forks
Language: Coq
last commit: about 1 year ago
Linked from 2 awesome lists
uhub/awesome-coqRelated projects:
| Repository | Description | Stars |
|---|---|---|
 sblendorio/hanoi-dos | A Pascal implementation of the classic puzzle game where three rods are used to move disks between them following specific rules. | 4 |
| thery/coqprime | A proof assistant library for prime number certification using elliptic curves and Pocklington certificates | 37 |
| thery/mathcomp-extra | A collection of reusable mathematical components and algorithms implemented in Coq | 5 |
 mhmrhm/ftowerx | An implementation of the classic puzzle game Tower of Hanoi, written in C++ and designed to be cross-platform and easily extensible. | 2 |
| thery/t2048 | A Coq implementation of the 2048 game | 22 |
| thery/flocqlecture | An introductory course on formalizing floating-point numbers and their applications in Coq | 6 |
 minhhungit/consoletableext | A fluent library to print out nicely formatted tables in console applications. | 333 |
| thery/minirubik | Solves the mini Rubik 2x2 using theorem-proving in Coq | 4 |
 krestenkrab/hanoidb | An Erlang-based indexed key/value storage engine with log-structured merge tree and efficient range queries | 306 |
 charguer/tlc | A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems. | 38 |
 coq-community/hydra-battles | Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory. | 68 |
| coq-community/sudoku | A formalisation of Sudoku in Coq to solve the puzzle using a naive Davis-Putnam procedure | 20 |
| coq-community/topology | Develops and formalizes basic concepts and results of general topology in Coq. | 47 |
 vafeiadis/hahn | A collection of lemmas and tactics about lists and binary relations for a proof assistant | 30 |
 mpereira/tty-solitaire | A terminal-based implementation of the classic card game solitaire | 279 |