OAI/MathematicalPhysics/NavierStokes/ForcedComputation/Programs/LoadedMachine.lean

GitHub source file

4 declarations, 0 contain sorry, 0 declared as axioms

Initialized computation at each paper's fixed rational particle label.

  1. theorem OAI.ForcedComputation.initialized_observation_atHeight line 13
  2. theorem OAI.ForcedComputation.initialPointQ_nonhalting line 56
  3. def OAI.ForcedComputation.loadedMachineVelocity line 84
  4. theorem OAI.ForcedComputation.loadedMachine_computation line 89