feat: port Computability.TuringMachine (#2125)

leanprover-community · Feb 15, 2023 · 16ba027 · 16ba027
1 parent 3a8b013
commit 16ba027
Show file tree

Hide file tree

Showing 2 changed files with 2,833 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -273,6 +273,7 @@ import Mathlib.Combinatorics.SetFamily.Shadow
 import Mathlib.Combinatorics.SimpleGraph.Regularity.Equitabilise
 import Mathlib.Combinatorics.Young.SemistandardTableau
 import Mathlib.Combinatorics.Young.YoungDiagram
+import Mathlib.Computability.TuringMachine
 import Mathlib.Control.Applicative
 import Mathlib.Control.Basic
 import Mathlib.Control.EquivFunctor