hanoi
by thery
Hanoi tower in Coq
AI summary
Disc mover
A Coq-based library for solving the classic mathematical puzzle of moving discs between pegs.
- stars
- 24
- forks
- 1
- watching
- 2
- awesome lists
- 2
Similar projects
Found by comparing what the projects do, not just their names.
Puzzle solver
A Pascal implementation of the classic puzzle game where three rods are used to move disks between them following specific rules.
Prime number verifier
A proof assistant library for prime number certification using elliptic curves and Pocklington certificates
Math Library
A collection of reusable mathematical components and algorithms implemented in Coq
Tower of Hanoi game
An implementation of the classic puzzle game Tower of Hanoi, written in C++ and designed to be cross-platform and easily extensible.
2048 game
A Coq implementation of the 2048 game
Formal Proof Lecture
An introductory course on floating-point numbers and formal proof using Coq
Console table library
A fluent library to print out nicely formatted tables in console applications.
Rubik solver
Solves the mini Rubik 2x2 using theorem-proving in Coq
Storage engine
An Erlang-based indexed key/value storage engine with log-structured merge tree and efficient range queries
Coq math library
A Coq library providing an alternative set of axioms and type class mechanisms for building and proving mathematical theorems.
Math investigations
Investigating various aspects of discrete mathematics and formal proofs in Coq, including ordinal numbers and computability theory.
Sudoku solver
A formalisation of Sudoku in Coq to solve the puzzle using a naive Davis-Putnam procedure
Topology library
Develops and formalizes basic concepts and results of general topology in Coq.
Relation algebra library
A collection of lemmas and tactics about lists and binary relations for a proof assistant
Card game solver
A terminal-based implementation of the classic card game solitaire
Featured in 2 awesome lists
Each link jumps to the spot where the list mentions hanoi.
