feat: Prove new k-induction algorithm #3488
Triggered via pull request
February 12, 2025 10:33
bollu
Status
Success
Total duration
13m 22s
Artifacts
–
ci-tools.yml
on: pull_request
tools, scaling, and auto-generated stmts
13m 12s