Skip to content

Add the Apache 2.0 license - #41

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

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

Commits

  1. Commits on Oct 1, 2026