Skip to content

fix(lstar): reject malformed justification state with typed errors#1178

Merged
tcoratger merged 1 commit into
leanEthereum:mainfrom
tcoratger:eval/issue-1174-partial-functions
Jul 4, 2026
Merged

fix(lstar): reject malformed justification state with typed errors#1178
tcoratger merged 1 commit into
leanEthereum:mainfrom
tcoratger:eval/issue-1174-partial-functions

fix(lstar): reject malformed justification state with typed errors

15d20cc
Select commit
Loading
Failed to load commit list.
Sign in for the full log view