Proof Pearl : Playing with the Tower of Hanoi Formally.

Laurent Thry

Browse the full ITP paper archive.