diff --git a/Proving b/Proving
deleted file mode 100644
index 600b582d2f2321c22f7677a1425bbc2b88493046..0000000000000000000000000000000000000000
--- a/Proving
+++ /dev/null
@@ -1 +0,0 @@
-Proving