Skip to content

Files

nrs-status/lean4 is licensed under the

Apache License 2.0

A permissive license whose main conditions require preservation of copyright and license notices. Contributors provide an express grant of patent rights. Licensed works, modifications, and larger works may be distributed under different terms and without source code.
Permissions
Commercial use
Modification
Distribution
Patent use
Private use
Limitations
Trademark use
Liability
Warranty
Conditions
License and copyright notice
State changes
This is not legal advice. Learn more about repository licenses

Latest commit

abef59d · Nov 18, 2021

History

History
71 lines (37 loc) · 8.95 KB

LICENSE

File metadata and controls

71 lines (37 loc) · 8.95 KB