Workshop announcement
On 24 July 2024, the University of Exeter is hosting a hybrid one-day workshop on interactive theorem proving in education and research.
A one-day workshop focused on how interactive theorem provers, like Lean and Isabelle, can be used in mathematics and computer science. This event is ideal for educators and researchers who use deductive proof.
No prior experience is necessary: the day starts and ends with hands-on sessions that provide practical experience for those unfamiliar with Lean.