OAI/Combinatorics/ContingencyTables/Sampling/ProfileTrialCountProgram.lean

GitHub source file

14 declarations, 0 contain sorry, 0 declared as axioms

Executed walk-and-terminal integer trial counts

  1. abbrev OAI.ContingencyTables.ProfilePrograms.WalkCountInput line 10
  2. def OAI.ContingencyTables.ProfilePrograms.walkCountData line 12
  3. def OAI.ContingencyTables.ProfilePrograms.walkCountDataRealizer line 15
  4. def OAI.ContingencyTables.ProfilePrograms.walkCountMeasure line 20
  5. lemma OAI.ContingencyTables.ProfilePrograms.work_walkCountData line 23
  6. def OAI.ContingencyTables.ProfilePrograms.walkCounts line 37
  7. def OAI.ContingencyTables.ProfilePrograms.walkCountsRealizer line 39
  8. lemma OAI.ContingencyTables.ProfilePrograms.work_walkCounts line 43
  9. abbrev OAI.ContingencyTables.ProfilePrograms.TrialCountInput line 56
  10. def OAI.ContingencyTables.ProfilePrograms.trialCount line 58
  11. def OAI.ContingencyTables.ProfilePrograms.trialCountRealizer line 61
  12. def OAI.ContingencyTables.ProfilePrograms.trialCountMeasure line 67
  13. lemma OAI.ContingencyTables.ProfilePrograms.work_trialCount line 70
  14. lemma OAI.ContingencyTables.SmallGraphProfiles.trialCount_actual line 105