OAI/Combinatorics/KMedian/Binary/
779 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Files
- BinaryAddition.lean 24 declarations
- BinaryAutoExtras.lean 7 declarations
- BinaryAutoFiniteLists.lean 8 declarations
- BinaryAutomatic.lean 62 declarations
- BinaryBooleanLists.lean 10 declarations
- BinaryDivision.lean 25 declarations
- BinaryDyadicPowers.lean 6 declarations
- BinaryFloor.lean 5 declarations
- BinaryGCD.lean 18 declarations
- BinaryGuard.lean 3 declarations
- BinaryGuardTotal.lean 1 declarations
- BinaryInteger.lean 23 declarations
- BinaryIntegerHeight.lean 2 declarations
- BinaryIterations.lean 10 declarations
- BinaryListContext.lean 5 declarations
- BinaryListExtras.lean 9 declarations
- BinaryListFold.lean 10 declarations
- BinaryListIndex.lean 13 declarations
- BinaryListIndices.lean 4 declarations
- BinaryListMap.lean 10 declarations
- BinaryListMapTotal.lean 1 declarations
- BinaryListSelection.lean 9 declarations
- BinaryListZip.lean 8 declarations
- BinaryLists.lean 23 declarations
- BinaryMatrix.lean 3 declarations
- BinaryMultiplication.lean 16 declarations
- BinaryNatSum.lean 2 declarations
- BinaryNatural.lean 13 declarations
- BinaryPredicates.lean 6 declarations
- BinaryRational.lean 19 declarations
- BinaryRationalFold.lean 8 declarations
- BinaryRationalHeight.lean 8 declarations
- BinaryRepeat.lean 5 declarations
- BinarySubtraction.lean 20 declarations
- BinaryWords.lean 18 declarations
- BooleanComposition.lean 33 declarations
- BooleanEmbedding.lean 6 declarations
- BooleanEncoding.lean 13 declarations
- BooleanFinite.lean 16 declarations
- BooleanListPrimitives.lean 27 declarations
- BooleanLoop.lean 37 declarations
- BooleanLoopFrom.lean 1 declarations
- BooleanMachine.lean 27 declarations
- BooleanMonomials.lean 4 declarations
- BooleanParallelTransducer.lean 39 declarations
- BooleanPolynomial.lean 9 declarations
- BooleanProducts.lean 16 declarations
- BooleanRecode.lean 1 declarations
- BooleanReverse.lean 8 declarations
- BooleanSum.lean 4 declarations
- BooleanThread.lean 49 declarations
- BooleanTransducer.lean 29 declarations
- InstanceParserProgram.lean 20 declarations
- NumericParserProgram.lean 16 declarations
- SequentialParserProgram.lean 10 declarations