These files belong to their respective upstream projects. No EPFL/MIL project notice is applied to them.
- doc-gen4 (generated static assets): exact source; doc-gen4-LICENSE.txt.
- Aesop (Aesop): exact source; aesop-LICENSE.txt.
- Batteries (Batteries): exact source; batteries-LICENSE.txt.
- ImportGraph (ImportGraph): exact source; importGraph-LICENSE.txt.
- LeanSearchClient (LeanSearchClient): exact source; LeanSearchClient-LICENSE.txt.
- Mathlib (Mathlib): exact source; mathlib-LICENSE.txt.
- Plausible (Plausible): exact source; plausible-LICENSE.txt.
- ProofWidgets (ProofWidgets): exact source; proofwidgets-LICENSE.txt.
- Qq (Qq): exact source; Qq-LICENSE.txt.
- Lean 4, Lake, Std, and Init (Init, Lake, Lean, Std): exact source; lean4-LICENSE.txt and lean4-LICENSES.txt.
The Step 14 attribution review found no concrete requirement for a root NOTICE; these exact upstream licence copies remain the distribution record.