OAI/Combinatorics/EditApproximation/Refinement/PhysicalRationalWarmup.lean

GitHub source file

7 declarations, 0 contain sorry, 0 declared as axioms

Rational execution of the physical wide-action warmup, with exact real casts.

  1. theorem OAI.EditApproximation.rationalActualWideActions_toReal line 15
  2. def OAI.EditApproximation.rationalPhysicalBellman line 22
  3. theorem OAI.EditApproximation.rationalPhysicalBellman_cast line 35
  4. def OAI.EditApproximation.rationalPhysicalWarmup line 51
  5. theorem OAI.EditApproximation.rationalPhysicalWarmup_cast line 57
  6. def OAI.EditApproximation.rationalPhysicalWarmupAverage line 65
  7. theorem OAI.EditApproximation.rationalPhysicalWarmupAverage_cast line 71