Skip to content

fix(MetaVerifier): add TCB bridge axiom for Lean 4.31 kernel compat - #1453

Open
kondylidou wants to merge 4 commits into
strata-org:mainfrom
kondylidou:fix/gen-smt-vcs-lean-4-31
Open

fix(MetaVerifier): add TCB bridge axiom for Lean 4.31 kernel compat#1453
kondylidou wants to merge 4 commits into
strata-org:mainfrom
kondylidou:fix/gen-smt-vcs-lean-4-31

Commits

Commits on Jul 27, 2026

Commits on Jul 29, 2026