OAI/Combinatorics/KMedian/Rounding/SignedTerminalProgram.lean

GitHub source file

11 declarations, 0 contain sorry, 0 declared as axioms

  1. abbrev OAI.MetricKMedian.RoundingProgram.Terminal.BInput line 16
  2. abbrev OAI.MetricKMedian.RoundingProgram.Terminal.BState line 17
  3. abbrev OAI.MetricKMedian.RoundingProgram.Terminal.ber line 18
  4. def OAI.MetricKMedian.RoundingProgram.Terminal.boolState line 20
  5. theorem OAI.MetricKMedian.RoundingProgram.Terminal.boolState_poly line 23
  6. theorem OAI.MetricKMedian.RoundingProgram.Terminal.point_toList line 29
  7. theorem OAI.MetricKMedian.RoundingProgram.Terminal.boolState_list line 32
  8. def OAI.MetricKMedian.RoundingProgram.Terminal.bernoulliInput line 42
  9. def OAI.MetricKMedian.RoundingProgram.Terminal.bernoulliInputProgram line 43
  10. def OAI.MetricKMedian.RoundingProgram.Terminal.result line 48
  11. def OAI.MetricKMedian.RoundingProgram.Terminal.program line 52