Teaching Introduction To Proofs With Lean


Original Announcement

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