Economics Wiki

Interactive knowledge base: CES curvature theory explained for economists, with 3D demos

• 123 cross-linked articles across 12 categories
• Interactive WebGL demos (isoquants, regime diagrams, crisis sequences)
• No login required

Lean 4 Proofs

117 files, ~1,826 declarations, 3 axioms, ~29,000 lines

• Paper 1: Emergent CES & Quadruple Role (14 files)
• Paper 2: CES Potential (11 files)
• Paper 3: Dynamics on CES Landscape (11 files)
• Paper 4: Hierarchical Architecture (10 files)
• Extensions: Macro, Two-World, ML (30+ files)

Empirical Tests

88 test scripts, 75 result files, 184 figures

Papers

9 papers + Papers A & B (information geometry bridge)