Pikagi
David Renshaw Profile Banner
David Renshaw Profile
David Renshaw

@dwrensha

590
Followers
304
Following
99
Media
547
Statuses

• Formalizing math problems in Lean: . • Acronymizing every word: . • Maintaining capnproto-rust.

Pittsburgh PA, USA
https://t.co/iqb0N1YdH7
Joined October 2011
Don't wanna be here? Send us removal request.
@Bauno_Eliza
Bauno Elizabeth
@Bauno_Eliza
Huntington, NY
@KaundaKajani
Kajani Kaunda
@KaundaKajani
@subhobrata1
subho
@subhobrata1
@divyeshgaur
Divyesh Gaur
@divyeshgaur
@SlorthairWzsC1
Slorthair
@SlorthairWzsC1
@SlithouackFb
Slithou
@SlithouackFb
@WhideighZnlyXp
Whideigh
@WhideighZnlyXp
@5V6dQ33UDWu99
MelissaWells
@5V6dQ33UDWu99
@LeduelercVicIy
Ledueler
@LeduelercVicIy
@NKA10hWhFuiazxB
SigridEden
@NKA10hWhFuiazxB
@ropesunravel
ropes unravel
@ropesunravel
@LirteJ96
Lirte
@LirteJ96
@maiidechis74998
まいいでちさ
@maiidechis74998
@NeedreeQGP4
Needree
@NeedreeQGP4
@TheesuGAy
Theesu
@TheesuGAy
@NicholasLB13402
NicholasLBrandenburg
@NicholasLB13402
@BlooslytheYMui
Blooslyth
@BlooslytheYMui
@Porenoujqe
Porenou
@Porenoujqe
@yagawanaom59232
Hartley
@yagawanaom59232
@9N7w8Y4bar00u
MerryScott
@9N7w8Y4bar00u