Repository navigation

Polish - #46

Merged

KellyJDavis merged 8 commits into

mainfrom

numina/aqft-in-lean

Oct 14, 2026

Merged

Polish#46
KellyJDavis merged 8 commits into
mainfrom
numina/aqft-in-lean

Commits on Oct 13, 2026
- Review fix plan stage 1: universes, geodesic scope, Axiom 5 note
  
  KellyJDavis
  and
  claude
  committed
  baf635a
- Review fix plan stage 2: small Lean fixes
  
  KellyJDavis
  and
  claude
  committed
  f6539f9
- Review fix plan stage 3: code tidying
  
  KellyJDavis
  and
  claude
  committed
  935cf7c
Commits on Oct 14, 2026
- Review fix plan stage 4: uses and lean tags
  
  KellyJDavis
  and
  claude
  committed
  cd71563
- Review fix plan stage 5: blueprint nodes for uncited Lean
  
  KellyJDavis
  and
  claude
  committed
  7a367d7
- Review fix plan stage 6: prose and home page
  
  KellyJDavis
  and
  claude
  committed
  7eefe58
- Review fix plan stage 7: CI and infrastructure
  
  KellyJDavis
  and
  claude
  committed
  309b89d
- Review fix plan stage 8: renumber the home page and verify
  
  KellyJDavis
  and
  claude
  committed
  6640a7d