/isabelle-ws-2023

Isabelle/HOL workshop -- Software Architecture Summit 2023

isabelle-workshop-sas-2023

Isabelle/HOL workshop -- Software Architecture Summit 2023