Skip to content

Use Isabelle2024 container for CI #18

Use Isabelle2024 container for CI

Use Isabelle2024 container for CI #18