6 ms·
There are number of proof verification systems that do not require constructive logic. So if you require classical logic, just use a tool that supports it.
by dwheeler 8y ago
There are number of proof verification systems that do not require constructive logic. So if you require classical logic, just use a tool that supports it.