active-group/tutorialtag-2024-isabelle

Tutorialtag 2024: Isabelle/HOL

Isabelle/HOL

Dieses Repo wird den Live-Code zum Tutorial Isabelle/HOL enthalten.