# Plan: dynamic-pages

**Branch:** feature/dynamic-pages

## Phases

- [x] Data pipeline extension + reference pages + prerequisite fixes
  - Spec: spec-1.md
- [x] Proof explorer + proof detail pages
  - Spec: spec-2.md
  - Depends on: Phase 1
