kollerlukas / knights_tour Goto Github PK
View Code? Open in Web Editor NEWIsabelle/HOL Formalization of "Knight's Tour Revisited" by Cull and De Curtins (1978)
Home Page: https://www.isa-afp.org/entries/Knights_Tour.html
License: Apache License 2.0