@LeanEcon

Formalizing Economics in Lean

Joined October 2026
  • Tweets4
  • Following2
  • Followers278
Load more