LeanEconomics / LeanEconomics
git clone https://github.com/LeanEconomics/LeanEconomics.git
Economic theory and the algorithms that solve economic models, formalised in Lean 4 against Mathlib
—
stars, 24h
—
stars, 7 days
—
stars, 30 days
28
★ total
1
forks · 0 open issues
Star history (as recorded here)
LanguageLean
LicenseApache-2.0
Created2026-09-14 (1mo ago)
Last push14d ago
OwnerOrganization