This is an unofficial reimagining of the Archive of Formal Proofs
Knight's Tour Revisited Revisitedby Lukas Koller