3 ms·You can prove a theorem, but who shall prove the proof?by hyperpallium 7y agoYou can prove a theorem, but who shall prove the proof?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!