OAI/Combinatorics/IndependentSets/Geometry/GeometryInitialize.lean

GitHub source file

15 declarations, 0 contain sorry, 0 declared as axioms

  1. lemma OAI.IndependentSetsCut.CounterMachine.UnaryTables.words_cons line 8
  2. def OAI.LargeIndependentSets.GeometryNames.integerMatrix line 21
  3. def OAI.LargeIndependentSets.GeometryNames.input line 25
  4. lemma OAI.LargeIndependentSets.GeometryNames.payload_length line 29
  5. lemma OAI.LargeIndependentSets.GeometryNames.payload_get line 30
  6. abbrev OAI.LargeIndependentSets.GeometryNames.inputCount line 33
  7. def OAI.LargeIndependentSets.GeometryNames.inputValue line 34
  8. lemma OAI.LargeIndependentSets.GeometryNames.input_bits line 37
  9. def OAI.LargeIndependentSets.GeometryNames.inputCountExpr line 45
  10. def OAI.LargeIndependentSets.GeometryNames.inputValueExpr line 48
  11. lemma OAI.LargeIndependentSets.GeometryNames.inputCountExpr_eval line 58
  12. lemma OAI.LargeIndependentSets.GeometryNames.inputValueExpr_eval line 62
  13. lemma OAI.LargeIndependentSets.GeometryNames.input_spec line 111
  14. def OAI.LargeIndependentSets.GeometryNames.initializer line 117
  15. lemma OAI.LargeIndependentSets.GeometryNames.initializer_finiteAlphabet line 119