Isabelle/UTP is used to support teaching on the undergraduate module "Assurance and Proof" at the University of York.
