OAI/Combinatorics/ContingencyTables/Counting/CountingAdaptiveInputSemantics.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

The computed initial record is the literal adaptive counting record

  1. theorem OAI.ContingencyTables.CountingAdaptiveInputProgram.prepared_data line 14
  2. lemma OAI.ContingencyTables.CountingAdaptiveInputProgram.zeroCode_data line 31
  3. lemma OAI.ContingencyTables.CountingAdaptiveInputProgram.initialInput_data line 45
  4. theorem OAI.ContingencyTables.CountingAdaptiveInputProgram.initial_view line 60