testing #9
GitHub Actions / File annotations for theory linter
succeeded
Jul 9, 2024 in 0s
File annotations for theory linter
Annotations
Check failure on line 2642 in lib/Lib.thy
github-actions / File annotations for theory linter
Unfinished proof
This command indicates an unfinished or aborted proof.
Loading