Skip to content

fix: make theorem workspace generation robust to source context - #509

Merged
kim-em merged 5 commits into
leanprover:mainfrom
kim-em:codex/robust-statement-extraction
Aug 9, 2026
Merged

fix: make theorem workspace generation robust to source context#509
kim-em merged 5 commits into
leanprover:mainfrom
kim-em:codex/robust-statement-extraction

Merge branch 'main' into codex/robust-statement-extraction

61181e6
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
verify
succeeded Aug 9, 2026 in 4h 36m 21s