From 827fe844f4acd0c222fa76a19f489d96cc78517e Mon Sep 17 00:00:00 2001
From: Jon Eugster <eugster.jon@gmail.com>
Date: Fri, 4 Aug 2023 13:48:02 +0200
Subject: [PATCH] add lean4 extension to devcontainer

---
 .devcontainer/devcontainer.json | 5 ++++-
 1 file changed, 4 insertions(+), 1 deletion(-)

diff --git a/.devcontainer/devcontainer.json b/.devcontainer/devcontainer.json
index f01247c..e4cc80c 100644
--- a/.devcontainer/devcontainer.json
+++ b/.devcontainer/devcontainer.json
@@ -7,7 +7,10 @@
     "vscode": {
       "settings": {
         "remote.autoForwardPorts": false
-      }
+      },
+      "extensions": [
+        "leanprover.lean4"
+      ]
     }
   }
 }