diff --git a/.github/workflows/ci.yml b/.github/workflows/ci.yml
index 651ee8b..c1cab5b 100644
--- a/.github/workflows/ci.yml
+++ b/.github/workflows/ci.yml
@@ -15,4 +15,4 @@ jobs:
       - uses: actions/checkout@v4
       - uses: leanprover/lean-action@v1
       - name: Run tests
-        run: lake exe anpu
\ No newline at end of file
+        run: lake exe nkl
diff --git a/.gitignore b/.gitignore
new file mode 100644
index 0000000..84a99e4
--- /dev/null
+++ b/.gitignore
@@ -0,0 +1 @@
+.lake/**
diff --git a/ANPU.lean b/ANPU.lean
deleted file mode 100644
index 434d9bf..0000000
--- a/ANPU.lean
+++ /dev/null
@@ -1,3 +0,0 @@
--- This module serves as the root of the `ANPU` library.
--- Import modules here that should be built as part of the library.
-import ANPU.Basic
\ No newline at end of file
diff --git a/ANPU/Basic.lean b/ANPU/Basic.lean
deleted file mode 100644
index aded559..0000000
--- a/ANPU/Basic.lean
+++ /dev/null
@@ -1,5 +0,0 @@
-namespace ANPU
-
-def hello := "world"
-
-end ANPU
diff --git a/Main.lean b/Main.lean
index 58724d1..7739845 100644
--- a/Main.lean
+++ b/Main.lean
@@ -1,4 +1,2 @@
-import ANPU
-
 def main : IO Unit :=
-  IO.println s!"Hello, {ANPU.hello}!"
+  IO.println s!"Hello, NKL!"
diff --git a/README.md b/README.md
index d63d51d..e891203 100644
--- a/README.md
+++ b/README.md
@@ -1 +1 @@
-# ANPU
\ No newline at end of file
+# Neuron Kernel Language (NKL)
diff --git a/lakefile.lean b/lakefile.lean
index c760552..f6fbe2b 100644
--- a/lakefile.lean
+++ b/lakefile.lean
@@ -1,12 +1,8 @@
 import Lake
 open Lake DSL
 
-package "ANPU" where
-  -- add package configuration options here
-
-lean_lib «ANPU» where
-  -- add library configuration options here
+package "NKL" where
 
 @[default_target]
-lean_exe "anpu" where
+lean_exe "nkl" where
   root := `Main