Skip to content
Proof PR

lib: Requalify: enable ctrl+click jumps for arch_requalify #3011

Sign in to view logs

lib: Requalify: enable ctrl+click jumps for arch_requalify

lib: Requalify: enable ctrl+click jumps for arch_requalify #3011

GitHub Actions / File annotations for theory linter succeeded Aug 20, 2024 in 1s

File annotations for theory linter

View more details on GitHub Actions