3 ms·
Checking proofs is decidable. Coming up with proofs is undecidable. This tool does the former, leaving the latter up to humans.
by ebingdom 4y ago
Checking proofs is decidable. Coming up with proofs is undecidable.
This tool does the former, leaving the latter up to humans.