Licensing

This page is a practical summary of the licenses Leanersoft uses for software, documentation, and published content. The controlling legal texts are the license files distributed with the source.

Software

Source code outside the documentation scope is licensed under the GNU Affero General Public License, version 3 or any later version, usually written as AGPL-3.0-or-later.

In practical terms, that means you can read, run, study, and modify the code. If you distribute modified versions, or run modified AGPL-covered code as a network service, the corresponding source code needs to be made available under the same license.

Content and documentation

Documentation and content materials follow a CC BY-NC-SA 4.0 posture unless a specific file or page says otherwise. That means Creative Commons Attribution-NonCommercial-ShareAlike 4.0 International.

In practical terms, that allows sharing and adaptation with attribution, but not commercial reuse unless separate permission is given, and derivative works need to stay under the same license.

What is not automatically included

• Logos and brand marks
• Trademarks and product names
• Third-party dependencies or assets that carry their own licenses

Those items are not automatically relicensed just because the surrounding project code or content is open.

Separate commercial terms

If Leanersoft offers separate commercial terms, that happens only by explicit written agreement. Nothing on this page is an automatic commercial license or a standing promise that one will be granted.

Repository files

The source repository currently includes a root LICENSE file for AGPL-3.0-or-later and a LICENSING.md file describing the broader licensing posture. Documentation-specific license text is also carried in the docs area.

Why this matters

Leanersoft makes an explicit trust claim around open formats, inspectability, and directness. If the site says Semnote is open source or that published materials are openly licensed, this is where that promise is made concrete.

Technical details

For the full technical breakdown — including dual-licensing of code snippets, contributor protections, and the complete list of rights and restrictions — see Licensing details.

Questions

If you need permission beyond the published licenses, email roman@leanersoft.com.