An End-To-End Verification of Keller's Conjecture.

James Gallicchio, Cayden R. Codel, Jeremy Avigad, Marijn J. H. Heule

Browse the full ITP paper archive.