LeanInfoTheory is licensed under the Apache License 2.0.
Authorship and copyright
Serhat Emre Coban is the author, software creator, and project lead, affiliated with EPFL, Mathematics of Information Laboratory. École polytechnique fédérale de Lausanne (EPFL) is the project rights holder. The exact approved project-authored Lean source notice remains in each source file.
Citation
The canonical software citation metadata is the default-branch
CITATION.cff. Its
immutable tagged snapshot
remains available with the release source.
The release date is 2026-09-01. Cite v0.1.0
with version DOI
10.5281/zenodo.22229599.
The all-versions DOI is
10.5281/zenodo.22229598.
The immutable tagged CFF remains DOI-free; the evolving default-branch
CFF carries the issued version DOI without changing the tag. The
Zenodo record identifies
École Polytechnique Fédérale de Lausanne as the structured
RightsHolder.
Generated documentation and third parties
The versioned API reference includes generated documentation for imported dependencies and static assets originating in doc-gen4. See the documentation provenance and licence inventory. Third-party notices are not replaced with the project notice.
AI-assisted development
The repository README contains the full AI-assisted-development disclosure. Lean kernel checking establishes derivability from formal assumptions; it does not replace human responsibility for theorem selection, assumptions, conventions, architecture, or mathematical interpretation.