Skip to content

Use Isabelle2024 container for CI #15

Use Isabelle2024 container for CI

Use Isabelle2024 container for CI #15