Seminar Details
Teaching Lean vs. Teaching with Lean
- Start Date: May 3, 2023
- Event Start Time: 1:00 PM
- Event End Time: 2:00 PM
- Seminar Series: Rutgers LEAN (Mathematics) Seminar
- Presenter(s): Robert Lewis - Brown University
- Event Location: Hill Center, Room 423
- Presentation Type: Stand Alone Presentation
- Abstract:
I have taught two courses at Brown University where students have used Lean: one in which formal verification is the subject of the class, and one (in progress) in which the goal is to teach traditional discrete mathematics. I will compare and contrast my approaches in these two settings and ruminate on what has worked and what hasn't.