David Renshaw's website

• dwrensha on github
• dwrensha on youtube
• dwrensha on twitch
• david@social.wub.site on mastodon
• dwrensha on twitter

projects

• Proof Animation Visualizing Lean 4 proofs via Blender.
• Compfiles Formalizing olympiad-style math problems in Lean 4.
• Acronymy Collaboratively defining every word as an acronym.
• capnproto-rust Maintaining a Rust-language implementation of a serialization and RPC system.