Talk on using Lean to teach proof writing

Stream: Lean for teaching

[Dan Velleman]

I thought people here might be interested in a talk on Feb. 25 about using Lean to teach proof writing. The flyer for the talk has more information, including a zoom link.