Add separate portable project workspace

common-proof.code-workspace

@@ -0,0 +1,9 @@
+{
+  "folders": [
+    {
+      "name": "Common Proof",
+      "path": "."
+    }
+  ],
+  "settings": {}
+}