Skip to content

Merge branch 'mv/simplify-non-nested-proofs-dsl' into lx/honk-recursi…

c317131
Select commit
Loading
Failed to load commit list.
Closed

feat: Update recursion constraint for Honk #6315

Merge branch 'mv/simplify-non-nested-proofs-dsl' into lx/honk-recursi…
c317131
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs