Hacker News Reader

Lean tactics can handle obvious things automatically, for some value of "obvious".

I think this is kinda the problem with lean, to be frank. Sometimes it's not obvious what lean is doing. (unless you're interactive)