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

Timeline

{username} has no activity yet