Repository navigation

fix: parse exposition declarations without replaying proofs - #337

Merged

Vilin97 merged 4 commits into

mainfrom

fix/exposition-syntax-replay

Aug 14, 2026

Merged

fix: parse exposition declarations without replaying proofs#337
Vilin97 merged 4 commits into
mainfrom
fix/exposition-syntax-replay

Commits on Aug 13, 2026
- Avoid replaying declarations during exposition extraction
  Vilin97
  committed
  eef38af
- chore: refresh generated notice
  Vilin97
  committed
  b0e1cab
- Skip every compiled declaration during exposition parsing
  Vilin97
  committed
  bc27053
- Clarify exposition parser initialization
  Vilin97
  committed
  9b41952