LeanEconomics @LeanEcon

Formalizing Economics in Lean Joined October 2026

Tweets

3
Followers

275
Following

2
Likes

6

LeanEconomics @LeanEcon

2 days ago

@BanilowMary Happy to formalize anything if you have one to suggest. But newer ones likely still overlap these older ones anyway in terms of core results.

1 0 1 409 0

View Details

Formalized textbooks: Dynamic Programming: Sargent & Stachurski (Vol 1 & 2); Stokey, Lucas & Prescott Monetary: Gali (NK); Woodford (interest & prices); Cochrane (fiscal theory). International: Obstfeld & Rogoff 500+ corrections (mostly tiny or typo) github.com/LeanEconomics

3 31 183 20K 232

View Details

LeanEconomics @LeanEcon

2 days ago

@lucasian76 look forward to seeing it :)

0 0 1 902 0

View Details

Grâce Pataule @Gracepat04

3 Followers 141 Following

Shohan Mukherjee @res_shohan

85 Followers 282 Following Research Account.

Sergio Magne @SergioMagne

231 Followers 1K Following Economista

Youssouf Kiendrebeogo @y_kiendrebeogo

429 Followers 5K Following Youssouf KIENDREBEOGO. Fiscal Policy & Surveillance. @IMFNews My views, not necessarily those of the IMF.

Bo Cowgill @bocowgill

747 Followers 1K Following Economist at the University of Toronto @rotmanschool. Ex-Googler. Bipedal primate living on a rock orbiting a star.

Jimmy Lee @JimmyLee728

56 Followers 444 Following Development economist. Northwestern PhD and postdoc.

Associate Professor of Economics and Finance, FGV EPGE. (Prof. Assoc. de Economia, FGV EPGE)

Quaisquer opiniões aqui são pessoais.

Felipe Iachan @FelipeIachan

644 Followers 1K Following Associate Professor of Economics and Finance, FGV EPGE. (Prof. Assoc. de Economia, FGV EPGE) Quaisquer opiniões aqui são pessoais.

Afonso Sarmento @sarmentoafonso

213 Followers 4K Following Economista, desenhista, redator https://t.co/C66sJfiCwO https://t.co/SaEgpgoTP5

Isaac Z. Martinez @isaaczmartinez

755 Followers 1K Following PhD student in Economics at the LSE (@LSEEcon 🇬🇧) | M.A. PUC-Chile (@IE_UC 🇨🇱) | B.A. @UNMSM_ 🇵🇪. | macroeconomics | RT≠endorsement.

Alberto Moreno Hoyo @almorhoy

32 Followers 380 Following

Structural modeling of economic choices of heterogeneous agents. Open source project fiscally sponsored by @NumFOCUS. https://t.co/G6T7XccUFo

Econ-ARK @econ_ark

343 Followers 2K Following Structural modeling of economic choices of heterogeneous agents. Open source project fiscally sponsored by @NumFOCUS. https://t.co/G6T7XccUFo

Trisorn @trisorn_thi

131 Followers 683 Following @PSEinfo. Triśaranā 🇹🇭

Ha Bui @habuithu

121 Followers 606 Following Assistant Professor - Department of Economics - Grinnell College | PhD UT-Austin

Jonathan Conning @JonathanConning

644 Followers 3K Following Economist at @Hunter_College and @GC_CUNY. *Political Economy* *Property Rights and Contracts*.

Joel Reyes @joel17reyes

116 Followers 524 Following Economics Blow up your mind with new ideas

Emrah Er @Emrah_Er

205 Followers 2K Following

Roja @Roja82961979

18 Followers 1K Following

Niklas Gäddnäs @niklaag

479 Followers 579 Following Doctoral researcher in economics at @HelsinkiGSE | Interested in macro-labor | Tweets may come in 🇫🇮🇬🇧🇸🇪.

Yuta Hayakawa @barbacoa_umai

0 Followers 220 Following Piñanona 1 / Gabriel Orozco

Hayashi Heikichi @nFMz74Iziq5NqAt

167 Followers 336 Following Side 是ADHD日常分享推在这里你还能看到学术笔记和一些骚话 EconCS frens：TBD I miss him so much

özforıstgamp @OzforS

88 Followers 3K Following

João Eira @joaoeira

585 Followers 2K Following Eternal student, lover of books, learning, and life, which is all really the same thing

Jordan Roulleau-Pasde... @JordanRoulleau

205 Followers 672 Following Research Economist at @banquedefrance, interested in macroeconomics, monetary and fiscal policy.

Ph.D(Econ)/ Innovation, Firm Behavior, Technology / SPAM Accounts are to be BLOCKED without any exceptions / スパムは例外なくブロックします

ぽたぽた🇺🇦�... @okpotapota

89 Followers 389 Following Ph.D(Econ)/ Innovation, Firm Behavior, Technology / SPAM Accounts are to be BLOCKED without any exceptions / スパムは例外なくブロックします

PhD candidate @ESSEC || @PSEinfo APE'24
Interested in macro (public) finance, heterogenous agent macro, and applied micro theory.

Kai Sun @Kai_Sun99

36 Followers 797 Following PhD candidate @ESSEC || @PSEinfo APE'24 Interested in macro (public) finance, heterogenous agent macro, and applied micro theory.

Bread Wu @bread_wu

3 Followers 532 Following Exploring

Haiyang Li @FangLiTree

15 Followers 655 Following

Josselin Roman @joss_roman

431 Followers 2K Following Doing research @PSEinfo @iMIP_institute | Previously @EU_commission | Econ Ph.D. @Paris_Dauphine @Psl_univ | Views are my own

sheshui @sheshui1514

22 Followers 146 Following

ボンクラ @BonnKlar

49 Followers 338 Following

Thankful for life. Economist in process. Just two things, to every day: 1) smile it & say thanks 2) living it as it would be the last

Matthew Reeves @leGrandAless

468 Followers 5K Following Thankful for life. Economist in process. Just two things, to every day: 1) smile it & say thanks 2) living it as it would be the last

Assoc. Professor @USF_Economics climate, metrics, bio, physics, econ.
formerly: @SipaSusdev @harvardphysics @StuyNY and The Bronx
🗣️ FR/ES/РУ/中/日

Jesse Anttila-Hughes @jesseXjesse

2K Followers 7K Following Assoc. Professor @USF_Economics climate, metrics, bio, physics, econ. formerly: @SipaSusdev @harvardphysics @StuyNY and The Bronx 🗣️ FR/ES/РУ/中/日

simemi84 @simemi84

387 Followers 8K Following

Frédo Jean-Baptiste @jbfredo1

6 Followers 79 Following

Sang-Ha Yoon @SangHaYoon

14 Followers 154 Following

Abel Arthur @AbelArthurWang

2 Followers 116 Following

Uluslararası İktisat, Uluslararası Ticaret, İktisat Doç. Dr. Amasya Üniversitesi 🇹🇷 , Visiting Assist Prof. 🇵🇱 SGWW 2017-2018

ylmz @yilmaztoktas

172 Followers 2K Following Uluslararası İktisat, Uluslararası Ticaret, İktisat Doç. Dr. Amasya Üniversitesi 🇹🇷 , Visiting Assist Prof. 🇵🇱 SGWW 2017-2018

Mavi Kurt @CanisLupus1987

82 Followers 1K Following Politics,Economics, Mimics,Yörüks

Con especializacion en gerencia y ejecución de proyectos, formacion en Economía y Finanzas, interesado en estrategias de marketing y emprendimiento en textiles

carlos palavicini @carlparrav

76 Followers 816 Following Con especializacion en gerencia y ejecución de proyectos, formacion en Economía y Finanzas, interesado en estrategias de marketing y emprendimiento en textiles

siyang liu @siyang__liu

21 Followers 1K Following

Doutor em economia, Cientista de dados, Professor @Insper, Pesquisa @SejaIDP, Sócio @AEDConsultingBR, membro @MensaBR. Divulgo ciência. Opiniões são pessoais.

Thomas Conti @ThomasVConti

70K Followers 2K Following Doutor em economia, Cientista de dados, Professor @Insper, Pesquisa @SejaIDP, Sócio @AEDConsultingBR, membro @MensaBR. Divulgo ciência. Opiniões são pessoais.

Ph.D. student @PUPolitics; former research fellow @Nids1952; political economy of armed conflict, IR, formal political theory, climate & conflict, TIEM

Hiroto Sawada @sawada_hiroto

238 Followers 1K Following Ph.D. student @PUPolitics; former research fellow @Nids1952; political economy of armed conflict, IR, formal political theory, climate & conflict, TIEM

Felipe @KaleidicRelativ

292 Followers 2K Following

经济系在读。新任犯罪克星。喜好推理文学，平日会做不系统的推理研究（包括但不限于推理文学研究、犯罪心理学、刑侦学），目前正在整理推理资料档案，希望能在推理的道路上走得更远。(･_･;

Econ Student. Apprentice of Sherlock Holmes :)

Collin Xu @JinXu_Collin

14 Followers 154 Following 经济系在读。新任犯罪克星。喜好推理文学，平日会做不系统的推理研究（包括但不限于推理文学研究、犯罪心理学、刑侦学），目前正在整理推理资料档案，希望能在推理的道路上走得更远。(･_･; Econ Student. Apprentice of Sherlock Holmes :)