OAI/MathematicalPhysics/AlternatingFlow/
794 declarations, 0 contain sorry, 0 declared as axioms; 41 files
Files
- Analytic.lean 39 declarations
- AnalyticResult.lean 1 declarations
- Arithmetic.lean 36 declarations
- BaseNames.lean 15 declarations
- CertifiedBounds.lean 12 declarations
- Compilers.lean 16 declarations
- Construction.lean 47 declarations
- ConstructiveBounds.lean 22 declarations
- DecayBounds.lean 13 declarations
- DecoderBounds.lean 5 declarations
- DecoderNames.lean 6 declarations
- DerivativeBounds.lean 95 declarations
- Detector.lean 19 declarations
- Development.lean 1 import, no declarations
- Effective.lean 15 declarations
- EffectiveProfiles.lean 8 declarations
- Encoding.lean 27 declarations
- EnergyUniqueness.lean 27 declarations
- ExpNames.lean 3 declarations
- FieldPrograms.lean 21 declarations
- ForceNames.lean 7 declarations
- InitialNames.lean 10 declarations
- JetNames.lean 13 declarations
- JetPrograms.lean 4 declarations
- LocalNames.lean 12 declarations
- LocalRules.lean 26 declarations
- MachineProfiles.lean 15 declarations
- Machines.lean 47 declarations
- Main.lean 1 declarations
- MixedPrograms.lean 11 declarations
- Model.lean 60 declarations
- Names.lean 19 declarations
- ProfileNames.lean 7 declarations
- Profiles.lean 19 declarations
- Quantitative.lean 20 declarations
- RecursiveBounds.lean 15 declarations
- Scales.lean 28 declarations
- SpatialCurls.lean 28 declarations
- TimeGlue.lean 12 declarations
- TypedPrograms.lean 6 declarations
- VelocityNames.lean 7 declarations