Automization-Sampling-Optimisation-Geometry-Lib (Samplinglib / ASTIS)
Copyright 2026 the Samplinglib contributors.

Project-original material is licensed under the Apache License, Version 2.0.
Each contributor retains copyright in their own contributions. Individual
copyright and author notices must be preserved; this notice does not transfer
copyright or replace third-party licenses.

Some Lean modules adapt Apache-2.0 code by Yuanhe Zhang from
https://github.com/YuanheZ/lean-stat-learning-theory . Their original notices
and pinned-source provenance are retained in the relevant files, including
Analysis/Calculus/Cutoff.lean, FunctionalInequalities/BernoulliLogSobolev.lean
and FunctionalInequalities/TwoPointEntropy.lean under
AutoSamplingTheory/TechnicalLemmas/.

Lean, Mathlib and other dependencies retain their own copyright and licenses.
Source textbooks, papers, quotations, external repositories and restricted
reference datasets are not relicensed by this project's license.

See LICENSE_SCOPE.md for the grant's scope, historical reuse and exclusions,
and NOTICE.md for the existing detailed mathematical and design attribution.
This NOTICE is informational; it adds no conditions to the Apache License.