test and docs for corres
method + slight tweaks for the same
#2520
GitHub Actions / File annotations for theory linter
succeeded
Jul 1, 2023 in 1s
File annotations for theory linter
Annotations
Check failure on line 190 in lib/test/Corres_Test.thy
github-actions / File annotations for theory linter
Unfinished proof
This command indicates an unfinished or aborted proof.
Loading