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

Lean is not for humans.