OAI/Combinatorics/ContingencyTables/Counting/CountingAmplifiedProgram.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

Outer confidence repetition of the executed counting program

  1. abbrev OAI.ContingencyTables.CountingAmplifiedProgram.Request line 9
  2. abbrev OAI.ContingencyTables.CountingAmplifiedProgram.Input line 10
  3. def OAI.ContingencyTables.CountingAmplifiedProgram.repeats line 15
  4. def OAI.ContingencyTables.CountingAmplifiedProgram.repeatsRealizer line 16
  5. lemma OAI.ContingencyTables.CountingAmplifiedProgram.polynomial_repeats line 19
  6. def OAI.ContingencyTables.CountingAmplifiedProgram.prepared line 22
  7. def OAI.ContingencyTables.CountingAmplifiedProgram.preparedRealizer line 24
  8. lemma OAI.ContingencyTables.CountingAmplifiedProgram.polynomial_prepared line 27
  9. def OAI.ContingencyTables.CountingAmplifiedProgram.output line 34
  10. def OAI.ContingencyTables.CountingAmplifiedProgram.outputRealizer line 35
  11. lemma OAI.ContingencyTables.CountingAmplifiedProgram.polynomial_output line 38
  12. def OAI.ContingencyTables.CountingAmplifiedProgram.budget line 42
  13. def OAI.ContingencyTables.CountingAmplifiedProgram.budgetRealizer line 43
  14. lemma OAI.ContingencyTables.CountingAmplifiedProgram.polynomial_budget line 46
  15. lemma OAI.ContingencyTables.CountingAmplifiedProgram.output_ofFn line 49