`OAI/GroupTheory/PeriodicGroups/Formulas/`

646 declarations, 0 contain sorry, 0 declared as axioms; 6 files

Files

Addressable.lean 89 declarations
BooleanCircuits.lean 196 declarations
ClauseEncoding.lean 101 declarations
LocalPredicates.lean 85 declarations
PredicateCompilation.lean 126 declarations
Tableaux.lean 49 declarations