Skip to content
Proof PR

refinement proof for AArch64 #2565

Sign in to view logs

refinement proof for AArch64

refinement proof for AArch64 #2565

GitHub Actions / File annotations for theory linter succeeded Aug 29, 2023 in 0s

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