Workshop: Interactive Theorem Proving in Education and Research

Posted by Changes

There will be a one-day workshop on 24 July 2024 and online, 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.

To register and for more details see:

https://exlean.org/workshop-interactive-theorem-proving-in-education-and-research-july-2024/#