Skip to content

Polish - #46

Merged
KellyJDavis merged 8 commits into
mainfrom
numina/aqft-in-lean
Oct 14, 2026
Merged

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

Review fix plan stage 8: renumber the home page and verify

6640a7d
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build
succeeded Oct 14, 2026 in 6m 39s