Documentation

Lean 4 Proof

inductive TemporalType where
  /-- Flow: rate of change. Responds at intrinsic speed.
      Examples: new orders, initial claims, industrial production growth. -/
  | flow
  /-- Stock: accumulated level (integral of flows).
      Additional lag of O(tau_accumulation) beyond the flow.
      Examples: unemployment duration, inventory level, loans outstanding. -/
  | stock

Dependency Graph

Used by

Location

thesis/CESProofs/Dynamics/IndicatorClassification.lean:62

Module Section

Derivation of Leading and Lagging Economic Indicators

In the same file