From 3514e38cf48b611abc808b7de4c13862d3a4ede0 Mon Sep 17 00:00:00 2001 From: Andreas Grois 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