scnews: "Informal Friday Seminar: Narayanan -- Informal Friday Seminar: Narayanan -- Lean times:" by Catherine Meister

We should also be able to read theorems present in mathlib, the mathematical library of Lean. ... UNCLUTTER for printing. AUTHENTICATE to mark the scnews item as read.
www.maths.usyd.edu.au/s/scnitm/cmeister-InformalFridaySeminar-Nar