Skip to content

Use Isabelle2024 container for CI #17

Use Isabelle2024 container for CI

Use Isabelle2024 container for CI #17