OAI/Combinatorics/ThinTrees/Encoding/Specification.lean

GitHub source file

19 declarations, 0 contain sorry, 0 declared as axioms

Specification.

  1. structure OAI.AlgorithmicThinTrees.ExplicitInput line 13

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:101 (same declaration text).

  2. structure OAI.AlgorithmicThinTrees.BinaryInput line 19

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:107 (same declaration text).

  3. abbrev OAI.AlgorithmicThinTrees.BinaryInput.Edge line 29

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:117 (same declaration text).

  4. def OAI.AlgorithmicThinTrees.BinaryInput.edgeEquiv line 31

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:119 (same declaration text).

  5. def OAI.AlgorithmicThinTrees.BinaryInput.graph line 34

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:122 (same declaration text).

  6. inductive OAI.AlgorithmicThinTrees.Input line 40

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:128 (same declaration text).

  7. def OAI.AlgorithmicThinTrees.ExplicitInput.encode line 44

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:132 (same declaration text).

  8. def OAI.AlgorithmicThinTrees.BinaryInput.encode line 50

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:138 (same declaration text).

  9. def OAI.AlgorithmicThinTrees.Input.encode line 56

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:144 (same declaration text).

  10. def OAI.AlgorithmicThinTrees.Input.length line 60

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:148 (same declaration text).

  11. def OAI.AlgorithmicThinTrees.Input.n line 62

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:150 (same declaration text).

  12. def OAI.AlgorithmicThinTrees.Valid line 66

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:154 (same declaration text).

  13. def OAI.AlgorithmicThinTrees.ThinTree line 70

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:158 (same declaration text).

  14. def OAI.AlgorithmicThinTrees.ExplicitInput.encodeEdges line 75

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:163 (same declaration text).

  15. def OAI.AlgorithmicThinTrees.BinaryInput.encodeEdges line 78

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:166 (same declaration text).

  16. def OAI.AlgorithmicThinTrees.BinaryInput.selected line 81

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:169 (same declaration text).

  17. def OAI.AlgorithmicThinTrees.TreeOutput line 84

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:172 (same declaration text).

  18. def OAI.AlgorithmicThinTrees.GoodOutput line 90

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:178 (same declaration text).

  19. def OAI.AlgorithmicThinTrees.AlgorithmicStrongThinTrees line 93

    Also declared: ComparatorChallenges/AlgorithmicThinTrees.lean:181 (same declaration text).