Seminar Details
Proofs of the Pythagorean Theorem in Lean 4
- Start Date: April 26, 2023
- Event Start Time: 12:30 PM
- Event End Time: 2:00 PM
- Seminar Series: Rutgers LEAN (Mathematics) Seminar
- Presenter(s): Alex Kontorovich - Rutgers University
- Event Location: Hill Center, Room 005
- Presentation Type: Stand Alone Presentation
- Abstract:
In this talk, we will review progress that has been made by seminar participants to formalize proofs of the Pythagorean theorem in Lean 4. We will discuss future work on this project and topics that seminar participants would like to see next semester.