Update to Isabelle2024 #764
Merged
GitHub Actions / File annotations for theory linter
succeeded
Jun 12, 2024 in 1s
File annotations for theory linter
Loading