Merge branch 'main' of https://github.com/teorth/equational_theories

teorth · Sep 26, 2024 · d4b57e4 · d4b57e4
2 parents 3d83d6b + f7e17b6
commit d4b57e4
Showing 1 changed file with 10 additions and 0 deletions.
diff --git a/.gitpod.yml b/.gitpod.yml
@@ -0,0 +1,10 @@
+mage: leanprovercommunity/mathlib:gitpod
+
+vscode:
+  extensions:
+    - leanprover.lean4
+
+tasks:
+  - init: |
+      elan self update
+      lake exe cache get