Proof PR

Suppress simplifier warnings in `corres_rewrite` #2667

Sign in to view logs

GitHub Actions / File annotations for theory linter succeeded Jan 12, 2024 in 0s

File annotations for theory linter

View more details on GitHub Actions