Computer-Assisted Proofs

This seminar will meet online, via Zoom, every Wednesday 14:00-15:30. Please drop me an email ( to obtain the link, or get it from lsf. It is offered to anyone interested, in particular maths and computer science students.

The goal of the seminar is to practice using the computer system Lean to write computer-assisted proofs in mathematics. Some useful links:

I will post further information on this site as the semester progresses.