From bb570329a9265891e01d8fedb903ca4715dad316 Mon Sep 17 00:00:00 2001
From: Petri Hienonen <petri.hienonen@gmail.com>
Date: Sun, 15 Feb 2026 14:23:31 +0200
Subject: Works

---
 lakefile.toml | 10 ++++++++++
 1 file changed, 10 insertions(+)
 create mode 100644 lakefile.toml

(limited to 'lakefile.toml')

diff --git a/lakefile.toml b/lakefile.toml
new file mode 100644
index 0000000..7b8444b
--- /dev/null
+++ b/lakefile.toml
@@ -0,0 +1,10 @@
+name = "kb"
+version = "0.1.0"
+defaultTargets = ["kb"]
+
+[[lean_lib]]
+name = "Kb"
+
+[[lean_exe]]
+name = "kb"
+root = "Main"
-- 
cgit v1.3-1-g0d28