Teaching Introduction To Proofs With Lean
Date:
In Fall 2022, I taught an undergraduate course in the Mathematics Department at Johns Hopkins University entitled “Introduction to Proofs” entirely with the Lean Proof Assistant. In this talk, I will report on this teaching experiment.
When : Wed, January 11, 2023 – 11:45 am
Where : Turing 0.E420, Gebouw 36 Mekelweg 4, 2628 CD Delft
Slides of the talk