OAI/Computability/SpaceSimulation/Epoch/Agrees.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.Fifths.Tour.Required line 12
2. theorem OAI.Fifths.Tour.value_bounded line 23
3. theorem OAI.Fifths.Tour.req_array line 33
4. theorem OAI.Fifths.Tour.log_zero line 61
5. theorem OAI.Fifths.Tour.req_copy line 64
6. theorem OAI.Fifths.Tour.req_round line 81
7. theorem OAI.Fifths.Tour.certified line 147