OAI/Computability/MinUncut/Model.lean

GitHub source file

18 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.MinUncutGames.BinaryFormula.Literal line 16

   Also declared: ComparatorChallenges/MinUncut.lean:16 (same declaration text).

2. def OAI.MinUncutGames.BinaryFormula.Literal.eval line 21

   Also declared: ComparatorChallenges/MinUncut.lean:21 (same declaration text).

3. abbrev OAI.MinUncutGames.BinaryFormula.Clause line 24

   Also declared: ComparatorChallenges/MinUncut.lean:24 (same declaration text).

4. def OAI.MinUncutGames.BinaryFormula.Clause.eval line 26

   Also declared: ComparatorChallenges/MinUncut.lean:26 (same declaration text).

5. structure OAI.MinUncutGames.BinaryFormula.Formula line 29

   Also declared: ComparatorChallenges/MinUncut.lean:29 (same declaration text).

6. def OAI.MinUncutGames.BinaryFormula.Formula.Satisfiable line 32

   Also declared: ComparatorChallenges/MinUncut.lean:32 (same declaration text).

7. def OAI.MinUncutGames.BinaryEncoding.frame line 40

   Also declared: ComparatorChallenges/MinUncut.lean:40 (same declaration text).

8. def OAI.MinUncutGames.BinaryEncoding.nameBits line 44

   Also declared: ComparatorChallenges/MinUncut.lean:44 (same declaration text).

9. def OAI.MinUncutGames.BinaryEncoding.literalBits line 46

   Also declared: ComparatorChallenges/MinUncut.lean:46 (same declaration text).

10. def OAI.MinUncutGames.BinaryEncoding.clauseBits line 49

    Also declared: ComparatorChallenges/MinUncut.lean:49 (same declaration text).

11. def OAI.MinUncutGames.BinaryEncoding.clausesBits line 52

    Also declared: ComparatorChallenges/MinUncut.lean:52 (same declaration text).

12. def OAI.MinUncutGames.BinaryEncoding.formulaBits line 56

    Also declared: ComparatorChallenges/MinUncut.lean:56 (same declaration text).

13. structure OAI.MinUncut.Output line 65

    Also declared: ComparatorChallenges/MinUncut.lean:65 (same declaration text).

14. def OAI.MinUncut.Output.uncut line 75

    Also declared: ComparatorChallenges/MinUncut.lean:75 (same declaration text).

15. def OAI.MinUncut.Output.opt line 81

    Also declared: ComparatorChallenges/MinUncut.lean:81 (same declaration text).

16. def OAI.MinUncut.Output.bits line 87

    Also declared: ComparatorChallenges/MinUncut.lean:87 (same declaration text).

17. def OAI.MinUncut.inputBits line 95

    Also declared: ComparatorChallenges/MinUncut.lean:95 (same declaration text).

18. structure OAI.MinUncut.Reduction line 102

    Also declared: ComparatorChallenges/MinUncut.lean:102 (same declaration text).