update to Isabelle 2023 #670
Merged
GitHub Actions / File annotations for theory linter
succeeded
Oct 6, 2023 in 0s
File annotations for theory linter
Loading