OAI/Combinatorics/ContingencyTables/Sampling/UnitTrialCountProgram.lean

GitHub source file

13 declarations, 0 contain sorry, 0 declared as axioms

Executed walk-and-terminal integer trial counts

  1. abbrev OAI.ContingencyTables.UnitCountPrograms.WalkCountInput line 11
  2. def OAI.ContingencyTables.UnitCountPrograms.walkCountData line 13
  3. def OAI.ContingencyTables.UnitCountPrograms.walkCountDataRealizer line 16
  4. def OAI.ContingencyTables.UnitCountPrograms.walkCountMeasure line 21
  5. lemma OAI.ContingencyTables.UnitCountPrograms.work_walkCountData line 24
  6. def OAI.ContingencyTables.UnitCountPrograms.walkCounts line 38
  7. def OAI.ContingencyTables.UnitCountPrograms.walkCountsRealizer line 40
  8. lemma OAI.ContingencyTables.UnitCountPrograms.work_walkCounts line 44
  9. abbrev OAI.ContingencyTables.UnitCountPrograms.TrialCountInput line 57
  10. def OAI.ContingencyTables.UnitCountPrograms.trialCount line 59
  11. def OAI.ContingencyTables.UnitCountPrograms.trialCountRealizer line 62
  12. def OAI.ContingencyTables.UnitCountPrograms.trialCountMeasure line 68
  13. lemma OAI.ContingencyTables.UnitCountPrograms.work_trialCount line 71