Add article license

jvanbruegge · Mar 23, 2024 · e606896 · e606896
1 parent 5611f75
commit e606896
Show file tree

Hide file tree

Showing 5 changed files with 447 additions and 2 deletions.
diff --git a/README.md b/README.md
@@ -0,0 +1,3 @@
+# Programming & Proving
+
+Code is licensed under the [AGPL-3.0-or-later](./LICENSE). The articles are licensed under [CC BY-SA 4.0](./articles/LICENSE).