1 files changed, 7 insertions, 0 deletions
diff --git a/lakefile.lean b/lakefile.lean
new file mode 100644
index 0000000..c1a725e
--- /dev/null
+++ b/lakefile.lean
@@ -0,0 +1,7 @@
+import Lake
+open Lake DSL
+
+package «BinaryHeap» where
+
+@[default_target]
+lean_lib «BinaryHeap» where