`OAI/Combinatorics/ThinTrees/Arithmetic/`

91 declarations, 0 contain sorry, 0 declared as axioms; 7 files

Files

ArraySums.lean 8 declarations
BinaryArithmetic.lean 15 declarations
BoolPrograms.lean 13 declarations
ScalarRealization.lean 14 declarations
UnaryArithmetic.lean 24 declarations
UnaryRoot.lean 10 declarations
WordHead.lean 7 declarations