zlacker

>>nl+(OP)
Ok… has this been verified? I see no publication or at least an announcement on Harmonics webpage. If this is a big deal, you think it would be a big deal, or is this just hype?

>>wasmai+8g
verified by lean so 99.99% yes

>>singul+kq
Is there some good literature to read about lean? First time I’m hearing about it and it seems pretty cool.

>>aaomid+Cp1
Anything in type theory. Lean is fundamentally a strongly typed dependently typed programming language. Start with Haskell and keep going.