Comment by dgacmu

and clearly the computer science perspective is: get rid of the humans and express everything directly in lean so the computers can keep getting work done!

;)