Repository navigation

Polish documentation - #45

Merged

KellyJDavis merged 11 commits into

mainfrom

numina/aqft-in-lean

Oct 9, 2026

Merged

Polish documentation#45
KellyJDavis merged 11 commits into
mainfrom
numina/aqft-in-lean

Commits on Oct 8, 2026
- Add the 1.0 present-tense documentation plan
  
  KellyJDavis
  and
  claude
  committed
  a663229
Commits on Oct 9, 2026
- Inventory backward-looking wording for the 1.0 documentation pass
  
  KellyJDavis
  and
  claude
  committed
  6eb192f
- Chapters 5 and 9: four approved wording fixes
  
  KellyJDavis
  and
  claude
  committed
  20670c2
- Add CHANGELOG.md with pre-1.0 development notes
  
  KellyJDavis
  and
  claude
  committed
  04446d0
- Blueprint Chapter 10: describe the project in the present tense
  
  KellyJDavis
  and
  claude
  committed
  c897cd6
- Lean docstrings: describe the code in the present tense
  
  KellyJDavis
  and
  claude
  committed
  596b916
- Home page and README: present tense, Highlights and Design notes
  
  KellyJDavis
  and
  claude
  committed
  7d7f0b8
- Verification for the present-tense documentation pass; refresh a stale quotation
  
  KellyJDavis
  and
  claude
  committed
  5770d10
- Propose a present-tense rule and CI check for the documentation
  
  KellyJDavis
  and
  claude
  committed
  42ac326
- Add a CI check that the documentation stays in the present tense
  
  KellyJDavis
  and
  claude
  committed
  6da4196
- Log stage 8 applied
  
  KellyJDavis
  and
  claude
  committed
  40a55f6