Proving Correctness of a KRK Chess Endgame Strategy by Using Isabelle/HOL and Z3.

Filip Maric, Predrag Janicic, Marko Malikovic

Browse the full CADE paper archive.