Repository navigation

Optimize GL syntax proof elaboration without changing declarations - #620

Merged

Vilin97 merged 1 commit into

mainfrom

codex/daily-optimize-20261008-resume

Oct 10, 2026

Merged

Optimize GL syntax proof elaboration without changing declarations#620
Vilin97 merged 1 commit into
mainfrom
codex/daily-optimize-20261008-resume

Commits on Oct 8, 2026
- Optimize GL syntax proof elaboration without changing declarations
  Vilin97
  committed
  f148e6e