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-squarethreelonmusketeers@sh.itjust.workslinkfedilinkEnglisharrow-up4·3 months agoWhat is Rocq? Some sort of formal proof writer/checker?
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/
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/