3 ms·That only works if someone bothered to write their proof in Coq in the first place. Most don’t.by pwdisswordfish2 6y agoThat only works if someone bothered to write their proof in Coq in the first place. Most don’t.