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-squarePearl@lemmy.mllinkfedilinkEnglisharrow-up6·5 days ago I’m learning to use Rocq Willingly? Damnnnnnn
minus-squareVegOwOtenks@lemmy.worldOPlinkfedilinkEnglisharrow-up4·5 days 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.