From fe38333f3152f1757f9b85d47aec2e23b33aacce Mon Sep 17 00:00:00 2001
From: Hannes Schulze <contact@haschu.me>
Date: Tue, 14 Jul 2026 20:01:36 +0200
Subject: restructure

---
 lakefile.toml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'lakefile.toml')

diff --git a/lakefile.toml b/lakefile.toml
index d6fcfd6..5730c3f 100644
--- a/lakefile.toml
+++ b/lakefile.toml
@@ -1,6 +1,6 @@
-name = "SymbolicModalLogic"
+name = "CoalgebraicMuCalculus"
 version = "0.1.0"
-defaultTargets = ["SymbolicModalLogic"]
+defaultTargets = ["CoalgebraicMuCalculus"]
 
 [[require]]
 name = "mathlib"
@@ -8,4 +8,4 @@ scope = "leanprover-community"
 rev = "v4.30.0"
 
 [[lean_lib]]
-name = "SymbolicModalLogic"
+name = "CoalgebraicMuCalculus"
-- 
cgit v1.3.1