Which layer is covered?
- Canonical MathlibAnnex Lean source
- MathlibAnnex Lean source is governed by the Apache License 2.0 where stated in its canonical source repository. These content terms do not change source licenses.
- Website software and third-party components
- Preserve existing MIT and file-specific software terms and third-party notices. Fonts, libraries, templates and quoted material retain their own terms.
- Declaration cards, Brief Reports and original editorial content
- All rights reserved, with the personal, educational and scholarly-use permissions stated below.
- Private formalization and review technology
- Not distributed; no license granted by publication of outputs. The underlying private tools and operational procedures retain their separate status.
- Third-party assets and quoted material
- Fonts, libraries, templates and quoted material remain governed by their own licenses and attribution requirements.
Content copyright and permitted use
Effective from 2026-09-17
Copyright © 2026 Ryotaro Tanaka. All rights reserved.
Unless a page or artifact states otherwise, Lean for Human (LFH) declaration cards, Catalog and Project exposition, Brief Reports, prior-art Research Notes, explanatory text, and their rendered HTML and PDF presentations are protected content.
You may access, download, cache, and print the material for your own personal, educational, or scholarly use; link to the official pages; and quote limited excerpts with appropriate citation, subject to applicable law. Ordinary indexing by general-purpose search engines consistent with this site's robots.txt is permitted.
No permission is granted to republish or redistribute substantial portions or complete copies, prepare or distribute adaptations or translations, use the content commercially, or systematically extract it for datasets, model training, or model evaluation, without prior written permission from the copyright holder.
These terms do not apply to MathlibAnnex Lean source released under the Apache License 2.0, website software released under its stated code licenses, or third-party material governed by its own terms. They do not restrict mathematical ideas, facts, methods, or results as such, or any use permitted by applicable law.
Publication record
These terms apply from the publication date shown above. Separate source and third-party licenses remain unchanged.
Mathematical ideas, facts, methods and results as such, and uses permitted by applicable law, remain outside these content restrictions.