VegOwOtenks@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 1 month agoProof. trivial. Qed.lemmy.worldimagemessage-square10fedilinkarrow-up1138arrow-down12file-text
arrow-up1136arrow-down1imageProof. trivial. Qed.lemmy.worldVegOwOtenks@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 1 month agomessage-square10fedilinkfile-text
minus-squarethreelonmusketeers@sh.itjust.workslinkfedilinkEnglisharrow-up4·1 month agoWhat is Rocq? Some sort of formal proof writer/checker?
minus-squareVegOwOtenks@lemmy.worldOPlinkfedilinkEnglisharrow-up5·1 month 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/