David Renshaw

david@social.wub.site

<p>Pittsburgh, PA, USA</p><p>• Formalizing math problems in Lean: <a href="https://dwrensha.github.io/compfiles/" target="_blank" rel="nofollow noopener noreferrer"><span class="invisible">https://</span><span class="">dwrensha.github.io/compfiles/</span><span class="invisible"></span></a><br />• Defining every word as an acronym: <a href="https://acronymy.net/" target="_blank" rel="nofollow noopener noreferrer"><span class="invisible">https://</span><span class="">acronymy.net/</span><span class="invisible"></span></a><br />• Maintaining capnproto-rust: <a href="https://github.com/capnproto/capnproto-rust" target="_blank" rel="nofollow noopener noreferrer"><span class="invisible">https://</span><span class="ellipsis">github.com/capnproto/capnproto</span><span class="invisible">-rust</span