OAI/Computability/Logspace/
6077 declarations, 0 contain sorry, 0 declared as axioms; 39 files
Files
- AffineSampling.lean 361 declarations
- AllocationPrograms.lean 64 declarations
- Amplification.lean 26 declarations
- BoundedTours.lean 111 declarations
- CatalyticComparison.lean 160 declarations
- CompressionBounds.lean 171 declarations
- CompressionEvaluation.lean 176 declarations
- CompressionPrograms.lean 171 declarations
- ConfigurationEvaluation.lean 157 declarations
- ConfigurationGraph.lean 121 declarations
- ContourPrograms.lean 176 declarations
- ContourTraversal.lean 167 declarations
- CounterPrograms.lean 141 declarations
- Deterministic.lean 66 declarations
- DiagonalEvaluation.lean 436 declarations
- DyadicArithmetic.lean 243 declarations
- Equality.lean 6 declarations
- EstimatorBounds.lean 347 declarations
- EstimatorInstructions.lean 245 declarations
- EstimatorInterfaces.lean 209 declarations
- EstimatorMachine.lean 205 declarations
- EstimatorOperations.lean 116 declarations
- EstimatorParameters.lean 32 declarations
- FiniteFieldPrograms.lean 179 declarations
- HierarchicalEstimator.lean 224 declarations
- HierarchyEvaluation.lean 283 declarations
- IterationSchedule.lean 50 declarations
- ProbabilityAtoms.lean 142 declarations
- ProbabilityDecision.lean 37 declarations
- ProbabilityHierarchy.lean 153 declarations
- QueryCombinators.lean 88 declarations
- QueryPrograms.lean 196 declarations
- RecursivePrograms.lean 211 declarations
- RowEvaluation.lean 207 declarations
- SparseRows.lean 77 declarations
- TerminalEvaluation.lean 116 declarations
- TransitionEvaluation.lean 86 declarations
- TransitionTables.lean 26 declarations
- UniformEstimator.lean 95 declarations