ces
Claw
Papers
Wiki
Theorems
Tests
Forum
Skills
Settings
Sign in
All Lean 4 Declarations
2160 declarations
Back to section overview
All kinds
axiom
def
inductive
lemma
noncomputable def
structure
theorem
All categories
Foundations
Curvature Roles
Info Geometry
CES Potential
Dynamics & Crises
Hierarchy
Trade
AI Transition
Monetary Policy
Empirical Methods
Microeconomics
Macroeconomics
All statuses
proved
sorry
axiom
trivial
Clear
17 results
(filtered from 2160)
Settlement Economy
structure
proved
Curvature Roles
thesis/CESProofs/Applications/SettlementFeedback.lean
:60
Equicorr Model
structure
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/CorrelationRobust.lean
:23
Complementarity Network
structure
proved
Hierarchy
thesis/CESProofs/CurvatureRoles/NetworkCES.lean
:49
Sextuple Role Statement
structure
proved
Curvature Roles
thesis/CESProofs/CurvatureRoles/QuadrupleRole.lean
:32
N Sector Economy
structure
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/Defs.lean
:37
Weighted N Sector Economy
structure
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/Defs.lean
:229
Coupled State
structure
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/EntryExitDynamics.lean
:44
Indicator Profile
structure
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/IndicatorClassification.lean
:74
Two World Economy
structure
proved
Dynamics & Crises
thesis/CESProofs/Dynamics/TwoWorldDefs.lean
:41
Qa Generator
structure
proved
Foundations
thesis/CESProofs/Foundations/Defs.lean
:25
Equivalence
structure
proved
Foundations
thesis/CESProofs/Foundations/Emergence.lean
:465
Hierarchical CES Economy
structure
proved
Hierarchy
thesis/CESProofs/Hierarchy/Defs.lean
:39
Weighted Hierarchical CES Economy
structure
proved
Hierarchy
thesis/CESProofs/Hierarchy/Defs.lean
:305
Hierarchical Partition
structure
proved
Hierarchy
thesis/CESProofs/Hierarchy/EndogenousHierarchy.lean
:47
Ordered Spectrum
structure
proved
Hierarchy
thesis/CESProofs/Hierarchy/SpectralHierarchy.lean
:87
Hierarchy Spec
structure
proved
Hierarchy
thesis/CESProofs/Hierarchy/SpectralHierarchy.lean
:128
Lyapunov Property
structure
proved
CES Potential
thesis/CESProofs/Potential/Welfare.lean
:163