Abstract
We present our recent experiences teaching two courses on formal methods which use Isabelle/Pure and Isabelle/HOL. We explain our overall approach and our experiences with
implementing beginner-friendly tools to help students understand how Isabelle works. We also describe the issues that we often see students struggle with when attempting to learn how to program and prove theorems using Isabelle, and suggest ideas for potential solutions to some of these concern
implementing beginner-friendly tools to help students understand how Isabelle works. We also describe the issues that we often see students struggle with when attempting to learn how to program and prove theorems using Isabelle, and suggest ideas for potential solutions to some of these concern
Original language | English |
---|---|
Title of host publication | Proceedings of Isabelle Workshop 2022 |
Number of pages | 6 |
Publication date | 2022 |
Publication status | Published - 2022 |
Event | Isabelle Workshop 2022 - Hybrid event, Haifa, Israel Duration: 11 Aug 2022 → 11 Aug 2022 |
Workshop
Workshop | Isabelle Workshop 2022 |
---|---|
Location | Hybrid event |
Country/Territory | Israel |
City | Haifa |
Period | 11/08/2022 → 11/08/2022 |