OAI/Combinatorics/UniformKServer/StackSimulation.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

  1. theorem OAI.UniformKServer.StackCompiler.write_none line 11
  2. def OAI.UniformKServer.StackCompiler.beginOp line 19
  3. def OAI.UniformKServer.StackCompiler.finishOp line 25
  4. def OAI.UniformKServer.StackCompiler.middle line 30
  5. def OAI.UniformKServer.StackCompiler.last line 38
  6. theorem OAI.UniformKServer.StackCompiler.first_step line 46
  7. theorem OAI.UniformKServer.StackCompiler.last_step line 69
  8. theorem OAI.UniformKServer.StackCompiler.op_rep line 78
  9. theorem OAI.UniformKServer.StackCompiler.matches_step line 86