OAI/Computability/MeanPayoff/
3164 declarations, 0 contain sorry, 0 declared as axioms; 72 files
Files
- Allocation.lean 16 declarations
- Alternatives.lean 24 declarations
- ArenaParsing.lean 105 declarations
- Arithmetic.lean 41 declarations
- ArithmeticBounds.lean 34 declarations
- ArithmeticDevices.lean 45 declarations
- BatchDevices.lean 49 declarations
- BinaryData.lean 48 declarations
- BitDepth.lean 32 declarations
- BitProgram.lean 38 declarations
- Budgets.lean 69 declarations
- CallBounds.lean 8 declarations
- Comparison.lean 51 declarations
- CountedRecursion.lean 24 declarations
- CountedTraversal.lean 46 declarations
- Counters.lean 133 declarations
- Decoding.lean 49 declarations
- Deviation.lean 28 declarations
- Drift.lean 21 declarations
- Driver.lean 70 declarations
- DriverExecution.lean 29 declarations
- EncodedArithmetic.lean 77 declarations
- EncodedPrograms.lean 136 declarations
- ErrorBounds.lean 12 declarations
- FiniteBox.lean 74 declarations
- FiniteIteration.lean 50 declarations
- FiniteSuccess.lean 36 declarations
- FiniteTrees.lean 55 declarations
- GridLabels.lean 34 declarations
- InputCode.lean 48 declarations
- InputSize.lean 54 declarations
- Instructions.lean 40 declarations
- Labeller.lean 6 declarations
- LoopDevices.lean 39 declarations
- Main.lean 14 declarations
- Model.lean 25 declarations
- Normalization.lean 139 declarations
- Online.lean 32 declarations
- OperatorCosts.lean 56 declarations
- OperatorDevices.lean 53 declarations
- Orientation.lean 17 declarations
- Packets.lean 32 declarations
- ParserCosts.lean 69 declarations
- Pivots.lean 54 declarations
- PolynomialCosts.lean 33 declarations
- Potential.lean 20 declarations
- Preparation.lean 55 declarations
- Probability.lean 1 import, no declarations
- RawLabels.lean 62 declarations
- RawMass.lean 14 declarations
- RawSolutions.lean 31 declarations
- Realizer.lean 49 declarations
- Recursion.lean 42 declarations
- RecursiveExecution.lean 9 declarations
- Registers.lean 30 declarations
- RootBox.lean 24 declarations
- Sampling.lean 52 declarations
- SignedBits.lean 45 declarations
- Simulation.lean 46 declarations
- SizeBounds.lean 70 declarations
- Sorting.lean 53 declarations
- Stack.lean 28 declarations
- StackMacros.lean 37 declarations
- StackSimulation.lean 44 declarations
- Tightening.lean 25 declarations
- Traversal.lean 15 declarations
- TreeCopy.lean 52 declarations
- TreeDevices.lean 44 declarations
- VectorDevices.lean 39 declarations
- Volume.lean 18 declarations
- WinnerCorrespondence.lean 16 declarations
- WordDecoding.lean 99 declarations