sowilo/isabelle-ws-2023

Isabelle/HOL workshop -- Software Architecture Summit 2023