OAI/Computability/DegreeRigidity/Effective/FiniteShuffleComputation.lean

GitHub source file

5 declarations, 0 contain sorry, 0 declared as axioms

1. theorem OAI.TuringRigidity.FiniteShuffleComputation.wordCount_primrec line 10
2. theorem OAI.TuringRigidity.FiniteShuffleComputation.wordShuffleBit_primrec line 27
3. def OAI.TuringRigidity.FiniteShuffleComputation.finiteShuffleWord line 41
4. theorem OAI.TuringRigidity.FiniteShuffleComputation.finiteShuffleWord_primrec line 45
5. theorem OAI.TuringRigidity.FiniteShuffleComputation.finiteShuffleWord_encode line 55