marcusklaas / tower-of-hanoi

proof using the lean prover that the towers of hanoi problem is solvable

Geek Repo

Github PK Tool