Past event CIRCA lunchtime seminar Thursday 5 October 2023 1:00pm to 2:00pm Mathematical Institute, Theatre D Add to calendar Download file Google Calendar Peiran Wu will give an introduction to Lean, the theorem-proving software. X X Cookie preferences