VegOwOtenks@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 6 days agoProof. trivial. Qed.lemmy.worldimagemessage-square9fedilinkarrow-up1146arrow-down12file-text
arrow-up1144arrow-down1imageProof. trivial. Qed.lemmy.worldVegOwOtenks@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 6 days agomessage-square9fedilinkfile-text
minus-squareVegOwOtenks@lemmy.worldOPlinkfedilinkEnglisharrow-up5·5 days agoYes exactly that. It was previously called Coq, maybe you know it under that name? https://rocq-prover.org/
Yes exactly that. It was previously called Coq, maybe you know it under that name?
https://rocq-prover.org/