EconCSLib is a public Lean 4 library containing 20 formalized papers plus shared components for probability, auctions, matching, and social choice, supported by an LLM-driven formalization workflow.
• Claim 3.4 required a more explicit finite-descent proof than the prose presentation
1 Pith paper cite this work. Polarity classification is still indexing.
1
Pith paper citing it
fields
cs.GT 1years
2026 1verdicts
ACCEPT 1representative citing papers
citing papers explorer
-
EconCSLib: AI-Assisted Lean Formalization for Economics & Computation research
EconCSLib is a public Lean 4 library containing 20 formalized papers plus shared components for probability, auctions, matching, and social choice, supported by an LLM-driven formalization workflow.