WIP

GuiBrandt · Aug 26, 2024 · 85393f1 · 85393f1
1 parent 3893907
commit 85393f1
Show file tree

Hide file tree

Showing 5 changed files with 406 additions and 5 deletions.
diff --git a/Lean4PolyhedralCombinatorics.lean b/Lean4PolyhedralCombinatorics.lean
diff --git a/Lean4PolyhedralCombinatorics/Basic.lean b/Lean4PolyhedralCombinatorics/Basic.lean
diff --git a/PolyhedralCombinatorics.lean b/PolyhedralCombinatorics.lean
@@ -0,0 +1,3 @@
+-- This module serves as the root of the `PolyhedralCombinatorics` library.
+-- Import modules here that should be built as part of the library.
+import PolyhedralCombinatorics.Basic