OAI/Computability/MinUncut/Graphs/CanonicalSamplerGraph.lean

GitHub source file

24 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.MinUncut.PathRealization.listFailure_map line 13
  2. def OAI.MinUncut.PathRealization.listOutput line 17
  3. lemma OAI.MinUncut.PathRealization.listOutput_yes line 20
  4. lemma OAI.MinUncut.PathRealization.listOutput_no line 24
  5. lemma OAI.MinUncut.PathRealization.listFailure_weight line 28
  6. lemma OAI.MinUncut.PathRealization.listFailure_extend line 35
  7. def OAI.MinUncut.Outer.Parameters.canonicalDemands line 49
  8. def OAI.MinUncut.Outer.Parameters.canonicalGraph line 54
  9. lemma OAI.MinUncut.Outer.Parameters.canonicalGraph_failure line 58
  10. lemma OAI.MinUncut.Outer.Parameters.canonicalGraph_yes line 67
  11. lemma OAI.MinUncut.Outer.Parameters.canonicalGraph_no line 89
  12. lemma OAI.MinUncut.Costed.GraphRegisters.finRange_vals line 114
  13. def OAI.MinUncut.Costed.GraphRegisters.canonicalTable line 120
  14. lemma OAI.MinUncut.Costed.GraphRegisters.rawRow_pack line 124
  15. lemma OAI.MinUncut.Costed.GraphRegisters.rawTable_pack line 133
  16. lemma OAI.MinUncut.Costed.GraphRegisters.listOutput_bits line 141
  17. def OAI.MinUncut.Costed.SourceWords.demandExpressions line 155
  18. def OAI.MinUncut.Costed.SourceWords.localExpressions line 159
  19. def OAI.MinUncut.Costed.SourceWords.tupleDemands line 163
  20. lemma OAI.MinUncut.Costed.SourceWords.demandExpressions_eval line 169
  21. lemma OAI.MinUncut.Costed.SourceWords.localExpressions_eval line 178
  22. def OAI.MinUncut.Costed.SourceWords.tupleList line 189
  23. def OAI.MinUncut.Costed.SourceWords.generatedDemands line 192
  24. lemma OAI.MinUncut.Costed.SourceWords.emitted_demands line 197