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

Commits

  1. Commits on Jul 4, 2026