Sync with GitHub, license metadata from LICENSE files, commercial license notice
Browse filesmetadata license: None -> other (snapkitty-tri-license)
README: License section kept (already accurate) + commercial notice
README: GitHub source link added
README.md
CHANGED
|
@@ -1,3 +1,13 @@
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
# Ahmad Foundations
|
| 2 |
|
| 3 |
Formal mathematics from Ahmad's research, extracted from tournament proofs and closed to zero sorry terms.
|
|
@@ -275,3 +285,9 @@ The surface code results are engineering bounds for fault-tolerant compilation.
|
|
| 275 |
Tri-licensed: BSL-1.1 + AGPL-3.0 + MPL-2.0. See [LICENSE.tri](LICENSE.tri).
|
| 276 |
|
| 277 |
Copyright (C) 2026 Jessica L. Williams / SNAPKITTYWEST
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
|
| 1 |
+
---
|
| 2 |
+
license: other
|
| 3 |
+
license_name: snapkitty-tri-license
|
| 4 |
+
license_link: https://huggingface.co/Snapkitty/ahmad-foundations/blob/main/LICENSE.tri
|
| 5 |
+
tags:
|
| 6 |
+
- snapkitty
|
| 7 |
+
---
|
| 8 |
+
|
| 9 |
+
> Source: [github.com/SNAPKITTYWEST/ahmad-foundations](https://github.com/SNAPKITTYWEST/ahmad-foundations)
|
| 10 |
+
|
| 11 |
# Ahmad Foundations
|
| 12 |
|
| 13 |
Formal mathematics from Ahmad's research, extracted from tournament proofs and closed to zero sorry terms.
|
|
|
|
| 285 |
Tri-licensed: BSL-1.1 + AGPL-3.0 + MPL-2.0. See [LICENSE.tri](LICENSE.tri).
|
| 286 |
|
| 287 |
Copyright (C) 2026 Jessica L. Williams / SNAPKITTYWEST
|
| 288 |
+
|
| 289 |
+
### 💼 Commercial License
|
| 290 |
+
|
| 291 |
+
Snapkitty code is free and open under **AGPL-3.0** for open-source use. Building a commercial product or service? A **proprietary commercial license** from Snapkitty Collective LLC lets you ship this code without the AGPL's source-sharing and network-use obligations.
|
| 292 |
+
|
| 293 |
+
**[→ Get a commercial license](mailto:A.parr@belespritdaccord.uk?subject=Commercial%20license:%20ahmad-foundations)** · A.parr@belespritdaccord.uk
|