OAI/Computability/VertexCover/Encoding/FormulaEncoding.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.UniqueGames.Foundations.Complexity.parseLiteral line 32
2. theorem OAI.UniqueGames.Foundations.Complexity.parseLiteral_encoded line 41
3. def OAI.UniqueGames.Foundations.Complexity.parseClause line 47
4. theorem OAI.UniqueGames.Foundations.Complexity.clause_three_entries line 53
5. theorem OAI.UniqueGames.Foundations.Complexity.parseClause_encoded line 60
6. def OAI.UniqueGames.Foundations.Complexity.parseClauses line 65
7. theorem OAI.UniqueGames.Foundations.Complexity.parseClauses_encoded line 72
8. def OAI.UniqueGames.Foundations.Complexity.decodeFormulaWords line 79
9. theorem OAI.UniqueGames.Foundations.Complexity.decodeFormulaWords_encoded line 85
10. def OAI.UniqueGames.Foundations.Complexity.decodeFormulaBits line 93
11. theorem OAI.UniqueGames.Foundations.Complexity.decodeFormulaBits_encoded line 96
12. theorem OAI.UniqueGames.Foundations.Complexity.formulaBits_injective line 100