That's irrelevant, all mainstream proof assistants are compatible with classical logic.