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.
• One-sentence recap: Sections 2 and 4 are fully formalized
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.