OAI/Computability/VertexCover/Encoding/BinaryFormula.lean

GitHub source file

8 declarations, 0 contain sorry, 0 declared as axioms

1. structure OAI.UniqueGames.BinaryFormula.Literal line 7

   Also declared: ComparatorChallenges/VertexCover.lean:7 (same declaration text).

2. def OAI.UniqueGames.BinaryFormula.Literal.eval line 12

   Also declared: ComparatorChallenges/VertexCover.lean:12 (same declaration text).

3. abbrev OAI.UniqueGames.BinaryFormula.Clause line 15

   Also declared: ComparatorChallenges/VertexCover.lean:15 (same declaration text).

4. def OAI.UniqueGames.BinaryFormula.Clause.eval line 17

   Also declared: ComparatorChallenges/VertexCover.lean:17 (same declaration text).

5. structure OAI.UniqueGames.BinaryFormula.Formula line 20

   Also declared: ComparatorChallenges/VertexCover.lean:20 (same declaration text).

6. def OAI.UniqueGames.BinaryFormula.Formula.Satisfiable line 23

   Also declared: ComparatorChallenges/VertexCover.lean:23 (same declaration text).

7. def OAI.UniqueGames.BinaryFormula.clauseNames line 26
8. def OAI.UniqueGames.BinaryFormula.sourceNames line 29