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
3 results
(filtered from 2160)
Kolmogorov Nagumo
axiom
axiom
Foundations
thesis/CESProofs/Foundations/Defs.lean
:192
Aczel
axiom
axiom
Foundations
thesis/CESProofs/Foundations/Defs.lean
:206
Transition Duration Scaling
axiom
axiom
Hierarchy
thesis/CESProofs/Hierarchy/TransitionDynamics.lean
:125