diff --git a/lakefile.lean b/lakefile.lean
index 2408bea..9d4672b 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -9,17 +9,17 @@ require batteries from git "https://github.com/leanprover-community/batteries.gi
 
 require «lens-demo» from git "https://github.com/funexists/lens-demo.git" @ "v4.28.0"
 
-package «raylean» where
+package raylean where
   srcDir := "lean"
 
-lean_lib «Raylean» where
+lean_lib Raylean where
   precompileModules := true
 
-lean_lib «Examples» where
+lean_lib Examples where
   precompileModules := true
 
 @[default_target]
-lean_exe «raylean» where
+lean_exe raylean where
   root := `Main
   moreLinkArgs := Id.run do
     let mut args := #[ "lib/libraylib.a"]
diff --git a/lean/Examples.lean b/lean/Examples.lean
index 290c3ad..e2758e2 100644
--- a/lean/Examples.lean
+++ b/lean/Examples.lean
@@ -1,4 +1,4 @@
-import «Examples».Window
-import «Examples».InputKeys
-import «Examples».Camera3D
-import «Examples».Camera2DPlatformer
+import Examples.Window
+import Examples.InputKeys
+import Examples.Camera3D
+import Examples.Camera2DPlatformer
diff --git a/lean/Examples/Camera2DPlatformer.lean b/lean/Examples/Camera2DPlatformer.lean
index e99f3ff..3c168ca 100644
--- a/lean/Examples/Camera2DPlatformer.lean
+++ b/lean/Examples/Camera2DPlatformer.lean
@@ -1,4 +1,4 @@
-import «Raylean»
+import Raylean
 
 import Examples.Camera2DPlatformer.Types
 open Types
diff --git a/lean/Examples/Camera3D.lean b/lean/Examples/Camera3D.lean
index 259ef77..15894b1 100644
--- a/lean/Examples/Camera3D.lean
+++ b/lean/Examples/Camera3D.lean
@@ -1,4 +1,4 @@
-import «Raylean»
+import Raylean
 
 namespace Camera3D
 
diff --git a/lean/Examples/InputKeys.lean b/lean/Examples/InputKeys.lean
index 05ecb3d..a2f79db 100644
--- a/lean/Examples/InputKeys.lean
+++ b/lean/Examples/InputKeys.lean
@@ -1,4 +1,4 @@
-import «Raylean»
+import Raylean
 
 namespace InputKeys
 
diff --git a/lean/Examples/Selector.lean b/lean/Examples/Selector.lean
index dfc8b2f..075675c 100644
--- a/lean/Examples/Selector.lean
+++ b/lean/Examples/Selector.lean
@@ -1,4 +1,4 @@
-import «Raylean»
+import Raylean
 import Examples
 
 import Examples.Elab
diff --git a/lean/Examples/Window.lean b/lean/Examples/Window.lean
index 44eadee..c3f73c4 100644
--- a/lean/Examples/Window.lean
+++ b/lean/Examples/Window.lean
@@ -1,4 +1,4 @@
-import «Raylean»
+import Raylean
 
 namespace Window
 
diff --git a/lean/Main.lean b/lean/Main.lean
index 3675494..9ce65ca 100644
--- a/lean/Main.lean
+++ b/lean/Main.lean
@@ -1,4 +1,4 @@
-import «Examples».Selector
+import Examples.Selector
 
 def main (args : List String) : IO Unit := do
   match args with
diff --git a/lean/Raylean.lean b/lean/Raylean.lean
index 725d6fb..bf77a63 100644
--- a/lean/Raylean.lean
+++ b/lean/Raylean.lean
@@ -1,5 +1,5 @@
-import «Raylean».Core
-import «Raylean».Math
-import «Raylean».Types
-import «Raylean».Frame
-import «Raylean».Graphics2D
+import Raylean.Core
+import Raylean.Math
+import Raylean.Types
+import Raylean.Frame
+import Raylean.Graphics2D
diff --git a/lean/Raylean/Core.lean b/lean/Raylean/Core.lean
index ef7313f..8b246b3 100644
--- a/lean/Raylean/Core.lean
+++ b/lean/Raylean/Core.lean
@@ -1,4 +1,4 @@
-import «Raylean».Types
+import Raylean.Types
 
 namespace Raylean
 
diff --git a/lean/Raylean/Frame.lean b/lean/Raylean/Frame.lean
index 928e6a9..6ed5476 100644
--- a/lean/Raylean/Frame.lean
+++ b/lean/Raylean/Frame.lean
@@ -1,4 +1,4 @@
-import «Raylean».Core
+import Raylean.Core
 
 namespace Raylean