Repository navigation

Reduce MetricCodes spectral and harmonic proof elaboration cost - #662

Merged

Vilin97 merged 1 commit into

mainfrom

codex/optimize-20261016

Oct 16, 2026

Merged

Reduce MetricCodes spectral and harmonic proof elaboration cost#662
Vilin97 merged 1 commit into
mainfrom
codex/optimize-20261016

Commits on Oct 16, 2026
- perf(MetricCodes): simplify spectral and harmonic proofs
  Vilin97
  committed
  c4842de