6 ms·That's irrelevant, all mainstream proof assistants are compatible with classical logic.by Kutta 8y agoThat's irrelevant, all mainstream proof assistants are compatible with classical logic.