David Renshaw
@dwrensha
590
Followers
304
Following
99
Media
547
Statuses
• Formalizing math problems in Lean: . • Acronymizing every word: . • Maintaining capnproto-rust.
Don't wanna be here?
Send us removal request.