OAI/Combinatorics/UniformKServer/UniformWrapper.lean

GitHub source file

20 declarations, 0 contain sorry, 0 declared as axioms

  1. inductive OAI.UniformKServer.UniformWrapper.Key line 14
  2. inductive OAI.UniformKServer.UniformWrapper.Control line 17
  3. abbrev OAI.UniformKServer.UniformWrapper.g line 27
  4. abbrev OAI.UniformKServer.UniformWrapper.main line 28
  5. abbrev OAI.UniformKServer.UniformWrapper.digit line 29
  6. abbrev OAI.UniformKServer.UniformWrapper.sep line 30
  7. abbrev OAI.UniformKServer.UniformWrapper.Action line 31
  8. abbrev OAI.UniformKServer.UniformWrapper.State line 32
  9. def OAI.UniformKServer.UniformWrapper.pass line 35
  10. def OAI.UniformKServer.UniformWrapper.write line 37
  11. def OAI.UniformKServer.UniformWrapper.pop line 39
  12. def OAI.UniformKServer.UniformWrapper.move line 41
  13. def OAI.UniformKServer.UniformWrapper.read line 43
  14. def OAI.UniformKServer.UniformWrapper.drain line 47
  15. def OAI.UniformKServer.UniformWrapper.lift line 52
  16. def OAI.UniformKServer.UniformWrapper.processor line 57
  17. def OAI.UniformKServer.UniformWrapper.literalC line 93
  18. def OAI.UniformKServer.UniformWrapper.literalA line 94
  19. def OAI.UniformKServer.UniformWrapper.uniform line 96
  20. def OAI.UniformKServer.UniformWrapper.machine line 98