Proof PR

Use projections in `schedulable` #3195

Sign in to view logs

GitHub Actions / File annotations for theory linter succeeded Feb 27, 2025 in 0s

File annotations for theory linter

View more details on GitHub Actions