From 0afba5f2cbb3b11699e45e3222c7f4bdfd4fa1ff Mon Sep 17 00:00:00 2001
From: Luca Fulchir <luker@fenrirproject.org>
Date: Fri, 14 Oct 2016 10:44:25 +0200
Subject: [PATCH] Added Readme.md

Signed-off-by: Luca Fulchir <luker@fenrirproject.org>
---
 README.md | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 README.md

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.
+
+