OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Programs/
1643 declarations, 0 contain sorry, 0 declared as axioms; 173 files
Files
- AutonomousStartup.lean 12 declarations
- BalancedActivation.lean 14 declarations
- BalancedBody.lean 18 declarations
- BalancedCoefficientEvaluation.lean 5 declarations
- BalancedCycle.lean 25 declarations
- BalancedEuclidean.lean 2 declarations
- BalancedEvaluation.lean 7 declarations
- BalancedExpressions.lean 18 declarations
- BalancedFiniteCode.lean 22 declarations
- BalancedFluid.lean 8 declarations
- BalancedLoader.lean 33 declarations
- BalancedMain.lean 1 declarations
- BalancedPath.lean 10 declarations
- BalancedPlanarOrbit.lean 8 declarations
- BalancedPlanarProgram.lean 12 declarations
- BalancedRules.lean 32 declarations
- BalancedStretch.lean 25 declarations
- BalancedVelocity.lean 18 declarations
- BoundedProfiles.lean 9 declarations
- BoxBounds.lean 6 declarations
- BranchClockGeometry.lean 11 declarations
- Branches.lean 9 declarations
- ClockNames.lean 6 declarations
- ClockedBounds.lean 8 declarations
- ClockedEvaluation.lean 8 declarations
- ClockedExpressions.lean 10 declarations
- ClockedFieldBalls.lean 10 declarations
- ClockedLipschitz.lean 4 declarations
- ClockedRationalEvaluation.lean 8 declarations
- ClockedResidual.lean 14 declarations
- ClockedVector.lean 12 declarations
- CompactRapidCoordinates.lean 15 declarations
- CompactRapidDifferential.lean 10 declarations
- CompactRapidEmbedding.lean 48 declarations
- ConfigurationTapes.lean 4 declarations
- FastVectorArithmetic.lean 11 declarations
- FieldReindex.lean 8 declarations
- FiniteGeometry.lean 26 declarations
- FiniteLabels.lean 17 declarations
- FiniteMachineHaltingDischarge.lean 1 declarations
- FinitePhaseEvaluation.lean 8 declarations
- FiniteRecorder.lean 20 declarations
- FiniteStackArithmetic.lean 6 declarations
- FiniteStackUpdates.lean 7 declarations
- FiniteTimeUniqueness.lean 6 declarations
- FixedInterpreter.lean 4 declarations
- FixedParticleAnalytic.lean 2 declarations
- FixedParticleMain.lean 5 declarations
- ForceGerm.lean 1 declarations
- ForceMean.lean 3 declarations
- FreshBranches.lean 8 declarations
- FreshMachine.lean 18 declarations
- GappedInstructions.lean 18 declarations
- GappedSeparation.lean 13 declarations
- HeightShift.lean 5 declarations
- InitializedBundle.lean 2 declarations
- InitializedEffective.lean 4 declarations
- InitializedFluid.lean 27 declarations
- InitializedMain.lean 8 declarations
- InitializedObservation.lean 2 declarations
- InitializedProgram.lean 16 declarations
- InitializedTrajectories.lean 2 declarations
- InitializedVelocityEvaluation.lean 2 declarations
- InstructionRectangles.lean 21 declarations
- IntermediateObservation.lean 7 declarations
- LatticeArithmetic.lean 41 declarations
- LatticeMachine.lean 19 declarations
- LatticeStacks.lean 18 declarations
- LoadedMachine.lean 4 declarations
- LogarithmName.lean 10 declarations
- LogarithmicBounds.lean 17 declarations
- LogarithmicForce.lean 6 declarations
- LogarithmicSpace.lean 8 declarations
- LogarithmicSpatialForce.lean 4 declarations
- MachineDecisionInput.lean 3 declarations
- MachinePartialStep.lean 7 declarations
- MixedNormalFormData.lean 3 declarations
- MixedOrdering.lean 3 declarations
- NonperiodicAtoms.lean 12 declarations
- NonperiodicBounds.lean 11 declarations
- NonperiodicEvaluation.lean 7 declarations
- NonperiodicExpressions.lean 12 declarations
- NonperiodicForceEvaluation.lean 8 declarations
- NonperiodicRationalEvaluation.lean 8 declarations
- NonperiodicResidual.lean 9 declarations
- NonperiodicVector.lean 10 declarations
- NormalizedBranchTrace.lean 13 declarations
- NormalizedDormantVelocity.lean 2 declarations
- NormalizedPlanarProgram.lean 8 declarations
- NormalizedPlanarRouting.lean 4 declarations
- NormalizedPulseSchedule.lean 6 declarations
- NormalizedSuspensionRouting.lean 3 declarations
- ObservationByInstruction.lean 2 declarations
- ParticleDecisionCorollaries.lean 6 declarations
- ParticleDecisionUnconditional.lean 6 declarations
- ParticleEvents.lean 9 declarations
- PeriodicFlow.lean 3 declarations
- PeriodicLatticeCorollaryGeometry.lean 16 declarations
- PeriodicLatticeCorollaryMain.lean 3 declarations
- PeriodicLatticeEffective.lean 9 declarations
- PeriodicLatticeFluid.lean 13 declarations
- PeriodicLatticeTransform.lean 17 declarations
- PeriodicLoaderFlow.lean 6 declarations
- PeriodicLoaderGeometry.lean 24 declarations
- PeriodicMain.lean 6 declarations
- PeriodicObservation.lean 1 declarations
- PeriodicProfiles.lean 11 declarations
- PeriodizeBound.lean 4 declarations
- PhaseBalls.lean 3 declarations
- PrefixMain.lean 7 declarations
- ProductNames.lean 14 declarations
- PullbackMass.lean 2 declarations
- PulsePlateau.lean 5 declarations
- RadixEncoding.lean 14 declarations
- RapidConsequences.lean 7 declarations
- RapidDecisionCorollaries.lean 12 declarations
- RapidDecisionUnconditional.lean 4 declarations
- RapidMachineDecisionInput.lean 3 declarations
- RapidMachineHaltingDischarge.lean 8 declarations
- RationalEncoding.lean 4 declarations
- RationalLoader.lean 12 declarations
- Recorder.lean 30 declarations
- RecorderAtHeight.lean 9 declarations
- RecorderCoordinates.lean 8 declarations
- RecorderExecution.lean 10 declarations
- RecorderFlow.lean 3 declarations
- RecorderInputEncoding.lean 8 declarations
- RecorderLoader.lean 8 declarations
- RecorderMachine.lean 6 declarations
- RecorderObservation.lean 4 declarations
- RecorderRun.lean 23 declarations
- RecorderSubprogramFlow.lean 3 declarations
- RectangleAffine.lean 2 declarations
- RectangleSeparation.lean 11 declarations
- Reparametrization.lean 8 declarations
- ResidualExpressions.lean 17 declarations
- ResidualScaling.lean 15 declarations
- ScaledDetectorProfile.lean 8 declarations
- ShiftedLoader.lean 6 declarations
- SlowBundle.lean 2 declarations
- SlowDerivativeFormula.lean 3 declarations
- SlowEffective.lean 4 declarations
- SlowEvaluationBalls.lean 4 declarations
- SlowFluid.lean 4 declarations
- SlowForce.lean 5 declarations
- SlowForceBalls.lean 10 declarations
- SlowIntegrability.lean 5 declarations
- SlowLoaded.lean 1 declarations
- SlowProgram.lean 15 declarations
- SlowTail.lean 1 declarations
- SlowVelocityBounds.lean 5 declarations
- SmallTranslation.lean 3 declarations
- StartupClock.lean 12 declarations
- StartupEffective.lean 26 declarations
- StationaryBounds.lean 5 declarations
- StationaryBundle.lean 3 declarations
- StationaryMain.lean 1 declarations
- StationaryObservation.lean 3 declarations
- StationaryProgram.lean 10 declarations
- Subprogram.lean 8 declarations
- TM0AlternatingPresentation.lean 9 declarations
- TM0FiniteCoding.lean 3 declarations
- TM0FiniteTable.lean 10 declarations
- TM0LatticePresentation.lean 11 declarations
- TM0RapidPresentation.lean 8 declarations
- TM0TableSimulation.lean 10 declarations
- TapeCoordinates.lean 10 declarations
- TorusConvolution.lean 8 declarations
- TorusGeometry.lean 10 declarations
- TorusSlowMain.lean 7 declarations
- TuringInputEncoding.lean 7 declarations
- VelocityTimeScale.lean 8 declarations
- ViscosityScaling.lean 6 declarations