feat: port Computability.Partrec (#3830)

leanprover-community · May 8, 2023 · da8157c · da8157c
1 parent 296aaf3
commit da8157c
Show file tree

Hide file tree

Showing 2 changed files with 868 additions and 0 deletions.
diff --git a/Mathlib.lean b/Mathlib.lean
@@ -735,6 +735,7 @@ import Mathlib.Computability.Encoding
 import Mathlib.Computability.EpsilonNFA
 import Mathlib.Computability.Language
 import Mathlib.Computability.NFA
+import Mathlib.Computability.Partrec
 import Mathlib.Computability.Primrec
 import Mathlib.Computability.RegularExpressions
 import Mathlib.Computability.TMComputable