Comment by gowld 10 hours ago That's like saying the future of code is Assembler.Lean is not for humans. 1 comment gowld Reply epgui 10 hours ago Lean is for humans.
Lean is for humans.