diff --git a/README.md b/README.md
index 6bc7c40..75421b5 100644
--- a/README.md
+++ b/README.md
@@ -43,6 +43,7 @@ Name | Status | Blog Entries
 [Auto-Scaling Gitea Runners](./projects/autoscaling-gitea-runners.md) | - | -
 [Custom SQL crate](./projects/custom-sql-crate.md) | - | -
 [Teamspeak Whitegirl Music](./projects/teamspeak-whitegirl-music.md) | - | -
+[Distributed Build System for Lean4](./projects/lean-distributed-builds.md) | - | -
 
 ## Hardware Projects
 Name | Status | Blog Entries
diff --git a/projects/lean-distributed-builds.md b/projects/lean-distributed-builds.md
new file mode 100644
index 0000000..f49ffde
--- /dev/null
+++ b/projects/lean-distributed-builds.md
@@ -0,0 +1 @@
+# Distributed Build System for Lean4