The note doped-gamma-derivation (doped-gamma-derivation.typ, doped-gamma-derivation.pdf) and its
figures (doped-gamma/figures/*.svg) are licensed under the Creative Commons Attribution 4.0
International License (CC BY 4.0): https://creativecommons.org/licenses/by/4.0/

Copyright (c) 2026 Samuel Badr

The scripts, the Lean code (lean/) and the data in this directory are licensed under the MIT
License of this repository (../LICENSE).
