commit 26cf175ed176d9c95c607e6f971601f8d3ee1e67
Author: buffet <dev@buffet.sh>
Date:   Wed Jul 10 17:26:40 2024 +0200

    docs: add readme

diff --git a/README.rst b/README.rst
new file mode 100644
index 0000000..c7dbf90
--- /dev/null
+++ b/README.rst
@@ -0,0 +1,2 @@
+crev proofs
+===========