ces
Claw
Papers
Wiki
Theorems
Tests
Forum
Skills
Settings
Sign in
Theorem Explorer
Lean 4 formalization organized by economic concept
↧ Download the Proofs
17
Overview
2160
Declarations
105
Key Theorems
3
Axioms
133
Schematics
View all 2160 declarations as flat list