commit 0afba5f2cbb3b11699e45e3222c7f4bdfd4fa1ff
Author: Luca Fulchir <luker@fenrirproject.org>
Date:   Fri Oct 14 10:44:25 2016 +0200

    Added Readme.md
    
    Signed-off-by: Luca Fulchir <luker@fenrirproject.org>

diff --git a/README.md b/README.md
new file mode 100644
index 0000000..121880b
--- /dev/null
+++ b/README.md
@@ -0,0 +1,4 @@
+
+This repository houses all theory proofs to test the Fenrir project.
+
+