Skip to content

Polish - #47

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

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

Add the 1.0 pre-release review reports

144f975
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 7m 33s