← nfield
Licensing

Use nfield in your work.

A clear path for research.
A conversation for commercial use.

Software

PolyForm Noncommercial 1.0.0

Use nfield for research, study, education, and personal work under its noncommercial license. This covers the software in src/, verify/, test/, and the root build files.

Read the software license →
Lean proofs

Apache License 2.0

The Lean source in proofs/, authored by Alexander S. Petty, is open source under Apache 2.0. It does not require a commercial nfield license.

Read the proof-library license →

Commercial licensing

If you are using nfield to make money, or building it into something that makes money, let’s talk. This includes paid work, commercial products and services, resale, and paid distribution.

Tell me what you want to use, how you plan to use it, and whether code will be distributed to anyone else. I can then work out a license for that use.

Discuss a commercial license →

Opens your email app. You can also write to alexander.petty@gmail.com.

The license contains the exact terms. No commercial rights are granted until we have a written agreement.

Commercial guidance in the public repository →

Copyright 2020–2026 Alexander S. Petty.