OAI/Combinatorics/ContingencyTables/Sampling/ProfileTrialSemantics.lean

GitHub source file

3 declarations, 0 contain sorry, 0 declared as axioms

The polynomial outer trial implements the finite-word experiment

  1. lemma OAI.ContingencyTables.SmallGraphProfiles.currentParameters_encoded line 25
  2. theorem OAI.ContingencyTables.SmallGraphProfiles.profileTrial_ofFn line 29
  3. theorem OAI.ContingencyTables.SmallGraphProfiles.packedProfileTrial_code line 42