OAI/Combinatorics/ContingencyTables/Counting/CountingOracleScheduleBounds.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

Numeric bounds for the executed oracle schedule

  1. lemma OAI.ContingencyTables.CountingOracleScheduleProgram.sampleCount_bound line 10
  2. lemma OAI.ContingencyTables.CountingOracleScheduleProgram.offsetAccuracy_bound line 24
  3. lemma OAI.ContingencyTables.CountingOracleScheduleProgram.oracleTime_bound line 32