commit 0e69bb296bff04bef4efb9ecadd7949f53a634c52920500804be1b0c3c557c28
Author: jabber.developer <jabber.developer@noreply.localhost>
Date:   Wed Apr 29 12:13:40 2026 +0000

    Initial commit

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