feat: Prove new k-induction algorithm #3493
Triggered via pull request
February 17, 2025 09:53
bollu
Status
Success
Total duration
13m 11s
Artifacts
–
ci-tools.yml
on: pull_request
tools, scaling, and auto-generated stmts
13m 1s