Hanoi

github.comtool

The Tower of Hanoi puzzle in Coq, including generalizations and theorems about configurations.

from

Coq

added

2026-10-10

likes

0

Coq › Projects > Puzzles and Games: “The Tower of Hanoi puzzle in Coq, including generalizations and theorems about configurations.”