Repository navigation

Narrow ConwaySoifer imports and stage certificate checks - #702

Queued

Vilin97 wants to merge 2 commits into

mainfrom

codex/conway-soifer-imports-20261021

Queued

Narrow ConwaySoifer imports and stage certificate checks#702
Vilin97 wants to merge 2 commits into
mainfrom
codex/conway-soifer-imports-20261021

Commits on Oct 21, 2026
- Reduce ConwaySoifer certificate compilation memory
  Vilin97
  committed
  68c6b5c
- Remove unused private ConwaySoifer projection lemmas
  Vilin97
  committed
  0e26afd