3 ms·
Gotta formally verify the source code of the proof checker… then the entire bootstrapped tool chain that was needed to compile it. No big deal
by jkhdigital 5y ago
Gotta formally verify the source code of the proof checker… then the entire bootstrapped tool chain that was needed to compile it. No big deal