Repository navigation

Add minimal browser UI and update prover documentation - #100

Merged

hyperpolymath merged 7 commits into

mainfrom

claude/determined-archimedes-Sgffi

May 24, 2026

Merged

Add minimal browser UI and update prover documentation#100
hyperpolymath merged 7 commits into
mainfrom
claude/determined-archimedes-Sgffi

Commits on May 23, 2026
Commits on May 24, 2026
- fix(ci): unblock Test Suite, MSRV, K9, and A2ML gates
  claude
  committed
  28e6805
- fix(k9): inline pedigree fields in deploy.k9.ncl toplevel record
  claude
  committed
  436532e