Skip to content

Recursive verification of Ix proofs at kernel scale - #503

Merged
arthurpaulino merged 16 commits into
mainfrom
ap/recursive-verifier-codegen
Jul 20, 2026
Merged

Recursive verification of Ix proofs at kernel scale#503
arthurpaulino merged 16 commits into
mainfrom
ap/recursive-verifier-codegen

fix: Cover the hint-op terms in the @fn inlining passes

186654a
Select commit
Loading
Failed to load commit list.

Select a check to view from the sidebar