Lean for the Curious Mathematician

less than 1 minute read

ICERM, Brown University, USA, 2022