Comment by bmitc

I know what Lean is. That doesn't answer the question.