`OAI/Computability/SolenoidalRecorder/`

72 declarations, 0 contain sorry, 0 declared as axioms; 5 files

Files

Checkpoints.lean 6 declarations
Halting.lean 11 declarations
Machines.lean 26 declarations
Rules.lean 15 declarations
Scans.lean 14 declarations