Teaching Introduction to Proofs with Lean
Sina Hazratpour
Date: Wed, January 11, 2023
Time: 11:45
Room: Turing 0.E420
In Fall 2022, I taught an undergraduate course at Johns Hopkins University entitled “Introduction to Proofs” using the Lean Proof Assistant. In this talk, I will report on this teaching experiment.
Previous:
Bohdan Liesnikov | Syntactical extensibility of proof assistants
Next:
Jurgen Vinju | To parse or to marshall, that is the question