Just entering this troll thread for a small correction: > ... relying on some proofs that nobody checked It is indeed check every single time the software com

Just entering this troll thread for a small correction: > ... relying on some proofs that nobody checked It is indeed check every single time the software compiles.