Announcing a one-day workshop in interactive theorem proving in education and research July 2024

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.

Leave a Reply

Your email address will not be published. Required fields are marked *