FormalConjecturesForMathlib/Computability/TuringMachine/
50 declarations, 0 contain sorry, 0 declared as axioms; 3 files
Files
- BusyBeavers.lean 25 declarations
- Notation.lean 19 declarations
- PostTuringMachine.lean 6 declarations