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 |
Next: Jurgen Vinju |