From 3514e38cf48b611abc808b7de4c13862d3a4ede0 Mon Sep 17 00:00:00 2001
From: Andreas Grois <andi@grois.info>
Date: Sat, 4 Jan 2025 18:33:05 +0100
Subject: Initial Commit (untested)

---
 LeanAStar.lean | 4 ++++
 1 file changed, 4 insertions(+)
 create mode 100644 LeanAStar.lean

(limited to 'LeanAStar.lean')

diff --git a/LeanAStar.lean b/LeanAStar.lean
new file mode 100644
index 0000000..1008217
--- /dev/null
+++ b/LeanAStar.lean
@@ -0,0 +1,4 @@
+-- This module serves as the root of the `LeanAstar` library.
+-- Import modules here that should be built as part of the library.
+import LeanAStar.Basic
+import LeanAStar.Finite
-- 
cgit v1.2.3

