Style guide: _tac instantiations and attributes #3088
GitHub Actions / File annotations for theory linter
succeeded
Dec 9, 2024 in 1s
File annotations for theory linter
Annotations
Check failure on line 417 in docs/Style.thy
github-actions / File annotations for theory linter
Unfinished proof
This command indicates an unfinished or aborted proof.
Check failure on line 437 in docs/Style.thy
github-actions / File annotations for theory linter
Unfinished proof
This command indicates an unfinished or aborted proof.
Check failure on line 449 in docs/Style.thy
github-actions / File annotations for theory linter
Unfinished proof
This command indicates an unfinished or aborted proof.
Check failure on line 462 in docs/Style.thy
github-actions / File annotations for theory linter
Unfinished proof
This command indicates an unfinished or aborted proof.
Loading