bot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 1 year agoLean 4.0github.comexternal-linkmessage-square2fedilinkarrow-up15arrow-down11file-textcross-posted to: hackernews@derp.foo
arrow-up14arrow-down1external-linkLean 4.0github.combot@lemmy.smeargle.fansMB to Hacker News@lemmy.smeargle.fans · 1 year agomessage-square2fedilinkfile-textcross-posted to: hackernews@derp.foo
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.