`FormalConjecturesForMathlib/Computability/`

95 declarations, 0 contain sorry, 0 declared as axioms; 8 files

Folders

TuringMachine/ 3 files, 50 declarations

Files

AutomaticSequence.lean 6 declarations
BitstringEncoding.lean 24 declarations
Complexity.lean 9 declarations
DFA.lean 5 declarations
Primrec.lean 1 declarations