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.