That's like saying the future of code is Assembler. Lean is not for humans. | alt Hacker News

alt Hacker News

gowld • yesterday at 7:06 PM • 1 reply • view on HN

That's like saying the future of code is Assembler.

Lean is not for humans.

Replies

epgui • yesterday at 7:41 PM

Lean is for humans.