Documentation

Lean 4 Proof

def adoptionR0 (beta_recruit delta_exit : ℝ) : ℝ :=
  beta_recruit / delta_exit

Dependency Graph

Module Section

Paper 6: Endogenous Decentralization and the AI Transition