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