Delete Counting

Signed-off-by: zeramorphic <[email protected]>
leanprover-community · Dec 11, 2023 · 45e18b1 · 45e18b1
1 parent edf22ba
commit 45e18b1
Show file tree

Hide file tree

Showing 15 changed files with 0 additions and 3,235 deletions.
diff --git a/ConNF.lean b/ConNF.lean
@@ -4,4 +4,3 @@ import ConNF.Structural
 import ConNF.Fuzz
 import ConNF.NewTangle
 import ConNF.Foa
-import ConNF.Counting
diff --git a/ConNF/Counting.lean b/ConNF/Counting.lean
diff --git a/ConNF/Counting/CodingFunction.lean b/ConNF/Counting/CodingFunction.lean
diff --git a/ConNF/Counting/CountCodingFunction.lean b/ConNF/Counting/CountCodingFunction.lean
diff --git a/ConNF/Counting/CountRaisedSingleton.lean b/ConNF/Counting/CountRaisedSingleton.lean