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

fix: align Lean justifiability overflow semantics

d0848b3
Select commit
Loading
Failed to load commit list.

Workflow runs completed with no jobs