VegOwOtenks@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 4 months agoProof. trivial. Qed.lemmy.worldimagemessage-square10linkfedilinkarrow-up1148arrow-down12file-text
arrow-up1146arrow-down1imageProof. trivial. Qed.lemmy.worldVegOwOtenks@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 4 months agomessage-square10linkfedilinkfile-text
minus-squarePearl@lemmy.mllinkfedilinkEnglisharrow-up6·4 months ago I’m learning to use Rocq Willingly? Damnnnnnn
minus-squareVegOwOtenks@lemmy.worldOPlinkfedilinkEnglisharrow-up4·4 months agoSomewhat, I’m quite motivated but it’s part of my studies.
Willingly? Damnnnnnn
Somewhat, I’m quite motivated but it’s part of my studies.