OAI/Probability/TraceReconstruction/
2271 declarations, 0 contain sorry, 0 declared as axioms; 30 files
Files
- Amplification.lean 40 declarations
- Anchors.lean 72 declarations
- Binomial.lean 162 declarations
- Differences.lean 151 declarations
- Energy.lean 48 declarations
- ErrorRates.lean 62 declarations
- FiniteLaw.lean 109 declarations
- Induction.lean 19 declarations
- InitialDensity.lean 27 declarations
- InitialMoments.lean 81 declarations
- InitialOracle.lean 110 declarations
- InitialOverlap.lean 61 declarations
- InitialRates.lean 87 declarations
- Kernels.lean 30 declarations
- Layout.lean 76 declarations
- LayoutRates.lean 75 declarations
- LeafOracle.lean 101 declarations
- Metadata.lean 44 declarations
- Model.lean 82 declarations
- Oracles.lean 141 declarations
- Parity.lean 47 declarations
- Patterns.lean 60 declarations
- Propagation.lean 64 declarations
- Ranks.lean 120 declarations
- Restoration.lean 17 declarations
- Scales.lean 76 declarations
- Shapes.lean 92 declarations
- Simulation.lean 81 declarations
- SourceOracle.lean 127 declarations
- Testing.lean 9 declarations