This is a demo instance. Do not store any relevant data here. You
can use the user 'demo' and password 'password' to login.
David Renshaw
@david@social.wub.site
Joined: 12/20/2022
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
david has no activity yet