VegOwOtenks@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 14 days agoProof. trivial. Qed.lemmy.worldimagemessage-square10linkfedilinkarrow-up1146arrow-down12file-text
arrow-up1144arrow-down1imageProof. trivial. Qed.lemmy.worldVegOwOtenks@lemmy.world to Math Memes@lemmy.blahaj.zoneEnglish · 14 days agomessage-square10linkfedilinkfile-text
minus-squarePearl@lemmy.mllinkfedilinkEnglisharrow-up6·14 days ago I’m learning to use Rocq Willingly? Damnnnnnn
minus-squareVegOwOtenks@lemmy.worldOPlinkfedilinkEnglisharrow-up4·13 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.