Event
The Lean proof assistant for education and research (a tutorial)
Presented by Jeremy Parker from the University of Dundee as part of the Mathematics Seminar Series
Monday 6 October 2025
Date
Monday 6 October 2025, 14:00 - 15:00
Location
Fulton Building
University of Dundee
Small's Lane
Dundee
DD1 4HR
Booking required?
No
This talk will provide a tutorial of the Lean with illustrations of its use for education and research purposes. Lean is an open source proof assistant and a functional programming language based on the calculus of constructions with inductive types.
Venue: Fulton G20
Enquiries
Eric Hall
[email protected]