OAI/MathematicalPhysics/RapidForcing/
955 declarations, 0 contain sorry, 0 declared as axioms; 55 files
Files
- AnalyticResult.lean 1 declarations
- ArithmeticAutomation.lean 21 declarations
- BoundsPrograms.lean 10 declarations
- ClassicalSolution.lean 2 declarations
- Collars.lean 9 declarations
- ComputableAutomation.lean 10 declarations
- ComputableProfiles.lean 24 declarations
- CurlDerivatives.lean 12 declarations
- CurlSupport.lean 12 declarations
- Detector.lean 16 declarations
- EffectiveProfiles.lean 25 declarations
- EffectiveResult.lean 18 declarations
- Energy.lean 21 declarations
- EvaluatorPrograms.lean 18 declarations
- ExprCoding.lean 21 declarations
- FieldExpressions.lean 21 declarations
- FieldSyntax.lean 19 declarations
- Flow.lean 9 declarations
- ForceSyntax.lean 17 declarations
- FormulaCoding.lean 17 declarations
- FormulaNames.lean 13 declarations
- FormulaPrograms.lean 30 declarations
- IntegerPrimrec.lean 9 declarations
- JetBounds.lean 11 declarations
- JetControl.lean 19 declarations
- JointSmoothness.lean 18 declarations
- MachineDigits.lean 13 declarations
- MachineRun.lean 33 declarations
- Main.lean 1 import, no declarations
- Model.lean 82 declarations
- NSUniqueness.lean 20 declarations
- NamePrograms.lean 13 declarations
- NamedForce.lean 12 declarations
- ParticlePaths.lean 8 declarations
- Profiles.lean 21 declarations
- QuantitativeDecay.lean 13 declarations
- Rapid.lean 19 declarations
- RatComputable.lean 11 declarations
- RatOperations.lean 9 declarations
- RatPrimrec.lean 6 declarations
- RationalProfiles.lean 34 declarations
- RawMachine.lean 37 declarations
- RawMachineCorrect.lean 6 declarations
- RawSyntax.lean 16 declarations
- RecursiveComputable.lean 7 declarations
- ScaleBounds.lean 8 declarations
- ScaledSyntax.lean 20 declarations
- Scales.lean 48 declarations
- SchwartzRestriction.lean 18 declarations
- StepSchwartz.lean 7 declarations
- Support.lean 11 declarations
- SyntaxComputable.lean 27 declarations
- TypedPrograms.lean 8 declarations
- Uniqueness.lean 22 declarations
- VelocitySyntax.lean 23 declarations