symgeoalg

commit 24b1a0a799d27af07b50748b8e1e0b946e469acc
parent f479d1c228ebabe2ffb0a8a3a454f0975d0b6495
Author: Robert Russell <robert@rr3.xyz>
Date:   Mon, 26 Aug 2024 21:24:05 -0700

Rename to symgeoalg

Diffstat:
M
lake-manifest.json
 | 
2
+-
M
lakefile.lean
 | 
4
++--

2 files changed, 3 insertions(+), 3 deletions(-)
diff --git a/lake-manifest.json b/lake-manifest.json
@@ -10,5 +10,5 @@
    "inputRev": "main",
    "inherited": false,
    "configFile": "lakefile.lean"}],
- "name": "vslean",
+ "name": "symgeoalg",
  "lakeDir": ".lake"}
diff --git a/lakefile.lean b/lakefile.lean
@@ -3,8 +3,8 @@ open Lake DSL
 
 require batteries from git "https://github.com/leanprover-community/batteries" @ "main"
 
-package «vslean» where
+package «symgeoalg» where
 
 @[default_target]
-lean_exe «vslean» where
+lean_exe «symgeoalg» where
   root := `Main