OAI/Combinatorics/ContingencyTables/Transport/BooleanEnumeration.lean

GitHub source file

9 declarations, 0 contain sorry, 0 declared as axioms

Enumerating only the short proposal word

  1. def OAI.ContingencyTables.DensePrograms.digitBool line 11
  2. def OAI.ContingencyTables.DensePrograms.digitBoolRealizer line 13
  3. lemma OAI.ContingencyTables.DensePrograms.polynomial_digitBool line 15
  4. def OAI.ContingencyTables.DensePrograms.booleanWords line 19
  5. def OAI.ContingencyTables.DensePrograms.booleanWordsRealizer line 22
  6. lemma OAI.ContingencyTables.DensePrograms.work_booleanWords line 26
  7. def OAI.ContingencyTables.DensePrograms.booleanEnumeration line 42
  8. lemma OAI.ContingencyTables.DensePrograms.booleanWords_of_length line 45
  9. lemma OAI.ContingencyTables.DensePrograms.sum_booleanWords line 61