Skip to content

Stone's Theorem + Vacuum Definition - #42

Merged
KellyJDavis merged 18 commits into
mainfrom
numina/aqft-in-lean
Oct 7, 2026
Merged

Stone's Theorem + Vacuum Definition #42
KellyJDavis merged 18 commits into
mainfrom
numina/aqft-in-lean

Use absolute URLs for the home page's blueprint links

52c2214
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Oct 7, 2026 in 7m 48s