Skip to content

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

Open
kondylidou wants to merge 6 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 6 commits into
strata-org:mainfrom
kondylidou:fix/gen-smt-vcs-lean-4-31

test: add GenSMTVCsAxioms example showing #print axioms output

b37f67a
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
update-review-labels
succeeded Aug 12, 2026 in 6s