Skip to content

fix: align Lean justifiability overflow semantics - #597

Draft
ss1738 wants to merge 1 commit into
lambdaclass:lean-formalizationfrom
ss1738:draft/lean-justifiability-overflow
Draft

fix: align Lean justifiability overflow semantics#597
ss1738 wants to merge 1 commit into
lambdaclass:lean-formalizationfrom
ss1738:draft/lean-justifiability-overflow

Commits

Commits on Aug 28, 2026