caps fix 2

joneugster · joneugster · commit aea46d815039 · 2025-04-04T00:54:01.000+02:00
diff --git a/Projects/Stable/.gitignore b/Projects/Stable/.gitignore
@@ -0,0 +1 @@
+/.lake
diff --git a/Projects/Stable/Stable.lean b/Projects/Stable/Stable.lean
diff --git a/Projects/Stable/build.sh b/Projects/Stable/build.sh
@@ -0,0 +1,7 @@
+#!/usr/bin/env bash
+
+# Operate in the directory where this file is located
+cd $(dirname $0)
+
+lake update -R
+lake build
diff --git a/Projects/Stable/lake-manifest.json b/Projects/Stable/lake-manifest.json
@@ -0,0 +1,5 @@
+{"version": "1.1.0",
+ "packagesDir": ".lake/packages",
+ "packages": [],
+ "name": "Stable",
+ "lakeDir": ".lake"}
diff --git a/Projects/Stable/lakefile.lean b/Projects/Stable/lakefile.lean
@@ -0,0 +1,9 @@
+import Lake
+open Lake DSL
+
+package «Stable» where
+  -- add package configuration options here
+
+@[default_target]
+lean_lib «Stable» where
+  -- add library configuration options here
diff --git a/Projects/Stable/lean-toolchain b/Projects/Stable/lean-toolchain
@@ -0,0 +1 @@
+leanprover/lean4:stable
