EconCSLib

Stable aggregate import for the EconCSLib Lean library. Worked examples and experimental open-problem interfaces remain available as opt-in imports.