From c125d639724afbb4fd891cca9397006ff2ac2290 Mon Sep 17 00:00:00 2001
From: Shrys <shreyasss94@gmail.com>
Date: Thu, 26 Sep 2024 16:01:48 +0000
Subject: [PATCH] gitpod config file addded

---
 .gitpod.yml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 .gitpod.yml

diff --git a/.gitpod.yml b/.gitpod.yml
new file mode 100644
index 00000000..eb69f80b
--- /dev/null
+++ b/.gitpod.yml
@@ -0,0 +1,10 @@
+mage: leanprovercommunity/mathlib:gitpod
+
+vscode:
+  extensions:
+    - leanprover.lean4
+
+tasks:
+  - init: |
+      elan self update
+      lake exe cache get