Skip to content
Proof PR

test and docs for corres method + slight tweaks for the same #2520

Sign in to view logs

test and docs for corres method + slight tweaks for the same

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

See this annotation in the file changed.

@github-actions github-actions / File annotations for theory linter

Unfinished proof 

This command indicates an unfinished or aborted proof.
View more details on GitHub Actions