Skip to content

Numerous additions#27

Merged
KellyJDavis merged 47 commits into
mainfrom
numina/aqft-in-lean
Jul 17, 2026
Merged

Numerous additions#27
KellyJDavis merged 47 commits into
mainfrom
numina/aqft-in-lean

Updated homepage

8f54e83
Select commit
Loading
Failed to load commit list.
Sign in for the full log view
build
succeeded Jul 17, 2026 in 7m 44s