David Renshaw
@david@social.wub.site
Joined: 12/20/2022
@david@social.wub.site could not be fetched from the remote server. Showing cached data.
About David Renshaw
Pittsburgh, PA, USA
• Formalizing math problems in Lean: https://dwrensha.github.io/compfiles/
• Defining every word as an acronym: https://acronymy.net/
• Maintaining capnproto-rust: https://github.com/capnproto/capnproto-rust
Lists
david has no public lists
Timeline
{username} has no activity yet