Skip to content

Use Isabelle2024 container for CI #14

Use Isabelle2024 container for CI

Use Isabelle2024 container for CI #14