That's not quite the same thing. The 4 colour theorem was proved by boiling it down to several thousand test cases and using a computer program to test those by

That's not quite the same thing. The 4 colour theorem was proved by boiling it down to several thousand test cases and using a computer program to test those by colouring them. This paper is about using theorem provers to check axioms for consistency and proofs derived from those.