OAI/MathematicalPhysics/SheetFlows/
799 declarations, 0 contain sorry, 0 declared as axioms; 26 files
Files
- BoxJets.lean 22 declarations
- CircuitPrograms.lean 39 declarations
- Circuits.lean 61 declarations
- ClassicalRegularity.lean 26 declarations
- Clocks.lean 40 declarations
- Computing.lean 58 declarations
- Differential.lean 38 declarations
- DirectForce.lean 34 declarations
- EffectiveForcing.lean 48 declarations
- EnergyIdentities.lean 30 declarations
- FormulaProfiles.lean 29 declarations
- JetCalculus.lean 23 declarations
- JetProfiles.lean 28 declarations
- Localization.lean 28 declarations
- Model.lean 42 declarations
- Profiles.lean 36 declarations
- Pulses.lean 12 declarations
- RationalBalls.lean 35 declarations
- RationalFormula.lean 26 declarations
- RectangleGeometry.lean 36 declarations
- Routing.lean 17 declarations
- ScheduledForce.lean 32 declarations
- ShearCore.lean 23 declarations
- SheetProgram.lean 1 declarations
- Trajectories.lean 25 declarations
- Uniqueness.lean 10 declarations