Comment by richard_chase

Anyone know of a good Lean tutorial? I've played around with it a bit but never really learned it properly.