4 ms·
As for systems like Metamath - how rigorous are the proofs that the software is bug free ? The formal system itself is transparently simple. You can easily ver
by bumbledraven 12y ago
As for systems like Metamath - how rigorous are the proofs that the software is bug free ?
The formal system itself is transparently simple. You can easily verify the proofs by hand. Also the system has been reimplemented in several languages.