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-squarethreelonmusketeers@sh.itjust.workslinkfedilinkEnglisharrow-up4·5 days agoWhat is Rocq? Some sort of formal proof writer/checker?
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/
What is Rocq? Some sort of formal proof writer/checker?
Yes exactly that. It was previously called Coq, maybe you know it under that name?
https://rocq-prover.org/