Comment Comment by pjdorrell If your theorem provers never prove a contradiction, they are all too weak. parent pjdorrell 4 years ago
