Skip to content

Add the Apache 2.0 license - #41

Merged
KellyJDavis merged 1 commit into
mainfrom
numina/aqft-in-lean
Oct 1, 2026
Merged

KellyJDavis merged 1 commit into
mainfrom
numina/aqft-in-lean

Conversation

@KellyJDavis

Copy link
Copy Markdown
Contributor

The source files already declare "Released under Apache 2.0 license as described in the file LICENSE"; this adds that file, the official text from apache.org.

The source files already declare "Released under Apache 2.0 license as
described in the file LICENSE"; this adds that file, the official text from
apache.org.

Co-Authored-By: Claude Opus 5.5 <noreply@anthropic.com>
@KellyJDavis
KellyJDavis merged commit 34e2abb into main Oct 1, 2026
2 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment

Labels

None yet

Projects

None yet

Development

Successfully merging this pull request may close these issues.

1 participant