3 ms·
There's also https://en.wikipedia.org/wiki/Metamath https://en.wikipedia.org/wiki/Metamath Its smallest proof-checker is only 500 lines.
by trott 2y ago
There's also https://en.wikipedia.org/wiki/Metamath https://en.wikipedia.org/wiki/Metamath
Its smallest proof-checker is only 500 lines.