Skip to content

Use the README's caption on the homepage diagram - #55

Merged
KellyJDavis merged 1 commit into
mainfrom
numina/aqft-in-lean
Nov 1, 2026
Merged

KellyJDavis merged 1 commit into
mainfrom
numina/aqft-in-lean

Use the README's caption on the homepage diagram

31e0a4c
Select commit
Loading
Failed to load commit list.
Sign in for the full log view

Annotations

1 warning and 1 notice
build
succeeded Nov 1, 2026 in 12m 3s