Repository navigation

Exposition: minimal Lean files + per-project viewer facet counts - #282

Merged

Vilin97 merged 1 commit into

mainfrom

claude/exposition-minimal-file

Jul 23, 2026

Merged

Exposition: minimal Lean files + per-project viewer facet counts#282
Vilin97 merged 1 commit into
mainfrom
claude/exposition-minimal-file

Commits on Jul 23, 2026
- Exposition: minimal Lean files + per-project viewer facet counts
  
  Vilin97
  and
  claude
  committed
  0dafa7f