VegOwOtenks@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 3 months agoProof. trivial. Qed.lemmy.worldimagemessage-square10linkfedilinkarrow-up1150arrow-down12file-text
arrow-up1148arrow-down1imageProof. trivial. Qed.lemmy.worldVegOwOtenks@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 3 months agomessage-square10linkfedilinkfile-text
minus-squareVegOwOtenks@lemmy.worldOPlinkfedilinkEnglisharrow-up5·3 months 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/