OAI/Combinatorics/UniformKServer/StackRun.lean

GitHub source file

10 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniformKServer.StackCompiler.run line 10
2. def OAI.UniformKServer.StackCompiler.padded line 13
3. theorem OAI.UniformKServer.StackCompiler.run_append line 17
4. theorem OAI.UniformKServer.StackCompiler.run_cons line 20
5. theorem OAI.UniformKServer.StackCompiler.matches_run line 23
6. theorem OAI.UniformKServer.StackCompiler.padded_length line 31
7. theorem OAI.UniformKServer.StackCompiler.padded_false line 36
8. theorem OAI.UniformKServer.StackCompiler.matches_capped line 41
9. theorem OAI.UniformKServer.StackCompiler.run_halted line 47
10. theorem OAI.UniformKServer.StackCompiler.capped_after line 53