Add article license

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

Hide file tree

Showing 5 changed files with 445 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).