Learning Lean: Part 1 (via evmar) — discussion

#math #plt