OAI/Combinatorics/UniformKServer/WrapperInterpreter.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniformKServer.UniformWrapper.inside line 15
2. def OAI.UniformKServer.UniformWrapper.constructState line 19
3. def OAI.UniformKServer.UniformWrapper.activeState line 22
4. theorem OAI.UniformKServer.UniformWrapper.construct_step line 25
5. theorem OAI.UniformKServer.UniformWrapper.active_step line 37
6. theorem OAI.UniformKServer.UniformWrapper.cap_succ line 49
7. theorem OAI.UniformKServer.UniformWrapper.active_run line 56
8. theorem OAI.UniformKServer.UniformWrapper.literal_input line 69
9. theorem OAI.UniformKServer.UniformWrapper.literal_output line 95