common-proof.code-workspace

{
  "folders": [
    {
      "name": "Common Proof",
      "path": "."
    }
  ],
  "settings": {}
}