scratsearcher 🔍🔮📊🎲@sopuli.xyz to Daily Maths Challenges@lemmy.worldEnglish · edit-26 months agoEqualities 1hrmacbeth.github.ioexternal-linkmessage-square3fedilinkarrow-up16file-text
arrow-up16external-linkEqualities 1hrmacbeth.github.ioscratsearcher 🔍🔮📊🎲@sopuli.xyz to Daily Maths Challenges@lemmy.worldEnglish · edit-26 months agomessage-square3fedilinkfile-text
minus-squarescratsearcher 🔍🔮📊🎲@sopuli.xyzOPlinkfedilinkEnglisharrow-up2·6 months agoyeah I found this website quite interesting even if I dont want to learn lean right now you can learn some cool proofs. Do you mind if I post other questions from that one here?
yeah I found this website quite interesting even if I dont want to learn lean right now you can learn some cool proofs. Do you mind if I post other questions from that one here?