Conference paper
Lessons of Teaching Formal Methods with Isabelle
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
Language: | English |
---|---|
Year: | 2022 |
Proceedings: | Isabelle Workshop 2022 |
Types: | Conference paper |
ORCIDs: | Jacobsen, Frederik Krogsdal and Villadsen, Jørgen |