OAI/Combinatorics/ContingencyTables/Sampling/FirstPaperCodeNeighbors.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

A binary program for the full physical neighbor list

  1. def OAI.ContingencyTables.ProfilePrograms.repairInput line 12
  2. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_repairInput line 15
  3. def OAI.ContingencyTables.ProfilePrograms.rawCodeNeighbors line 18
  4. def OAI.ContingencyTables.ProfilePrograms.rawCodeNeighborsRealizer line 22
  5. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_rawCodeNeighbors line 27
  6. def OAI.ContingencyTables.ProfilePrograms.candidateData line 35
  7. def OAI.ContingencyTables.ProfilePrograms.candidateDataRealizer line 38
  8. lemma OAI.ContingencyTables.ProfilePrograms.polynomial_candidateData line 44
  9. def OAI.ContingencyTables.ProfilePrograms.codeNeighbors line 50
  10. def OAI.ContingencyTables.ProfilePrograms.codeNeighborsRealizer line 53
  11. theorem OAI.ContingencyTables.ProfilePrograms.polynomial_codeNeighbors line 57
  12. lemma OAI.ContingencyTables.ProfilePrograms.codeNeighbors_nodup line 63
  13. theorem OAI.ContingencyTables.ProfilePrograms.codeNeighbors_length line 66
  14. theorem OAI.ContingencyTables.SmallGraphProfiles.mem_rawCodeNeighbors line 91
  15. theorem OAI.ContingencyTables.SmallGraphProfiles.mem_codeNeighbors line 124