6 ms·The proof prover proves the proof, but who shall prove the proof prover?by F-0X 7y agoThe proof prover proves the proof, but who shall prove the proof prover?enriquto 7y agoit's provers all the way down!