bot@lemmy.smeargle.fansB to Hacker News@lemmy.smeargle.fans · 1 year agoLean 4.0github.comexternal-linkmessage-square2fedilinkarrow-up14arrow-down10file-text
arrow-up14arrow-down1external-linkLean 4.0github.combot@lemmy.smeargle.fansB to Hacker News@lemmy.smeargle.fans · 1 year agomessage-square2fedilinkfile-text
minus-squarewick@lemm.eelinkfedilinkarrow-up1·1 year agoTbf I went to their website and still don’t know. Some kind of encyclopaedia of math theories I guess.
Tbf I went to their website and still don’t know. Some kind of encyclopaedia of math theories I guess.