Skip to content
core library

feat: Prove new k-induction algorithm #5291

Sign in to view logs

feat: Prove new k-induction algorithm

feat: Prove new k-induction algorithm #5291

Triggered via pull request February 17, 2025 12:26
@bollubollu
synchronize #1005
new-k-induction-proof
Status Failure
Total duration 1m 23s
Artifacts –

ci.yml

on: pull_request
core library
1m 13s
core library
Fit to window
Zoom out
Zoom in

Annotations

1 error
core library
Process completed with exit code 1.