teapawt
LeanEconomics
@LeanEcon
Formalizing Economics in Lean
Joined October 2026
Tweets
4
Following
2
Followers
291
Likes
6
Tweets
Tweets & Replies
Reposts
Media
Search
Load more
