commit 472edb2f42ad68649f4bba460975337c9e841282
Author: u3ig2bc <u3ig2bc@h2cs.local>
Date:   Fri Aug 7 11:04:10 2026 +0200

    Initial commit

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..ff015dd
--- /dev/null
+++ b/README.md
@@ -0,0 +1,2 @@
+# rvl4qed
+