OAI/Combinatorics/IndependentSets/Encoding/FormulaEncoding.lean

GitHub source file

12 declarations, 0 contain sorry, 0 declared as axioms

1. def OAI.IndependentSetsGames.Foundations.Complexity.parseLiteral line 10
2. theorem OAI.IndependentSetsGames.Foundations.Complexity.parseLiteral_encoded line 19
3. def OAI.IndependentSetsGames.Foundations.Complexity.parseClause line 25
4. theorem OAI.IndependentSetsGames.Foundations.Complexity.clause_three_entries line 31
5. theorem OAI.IndependentSetsGames.Foundations.Complexity.parseClause_encoded line 38
6. def OAI.IndependentSetsGames.Foundations.Complexity.parseClauses line 43
7. theorem OAI.IndependentSetsGames.Foundations.Complexity.parseClauses_encoded line 50
8. def OAI.IndependentSetsGames.Foundations.Complexity.decodeFormulaWords line 57
9. theorem OAI.IndependentSetsGames.Foundations.Complexity.decodeFormulaWords_encoded line 63
10. def OAI.IndependentSetsGames.Foundations.Complexity.decodeFormulaBits line 71
11. theorem OAI.IndependentSetsGames.Foundations.Complexity.decodeFormulaBits_encoded line 74
12. theorem OAI.IndependentSetsGames.Foundations.Complexity.formulaBits_injective line 78