No JavaScript? That's cool, but you'll need to disable Turbo mode as it uses JavaScript in the client.
Disable Turbo
David Renshaw
565 posts
David Renshaw
@dwrensha
• Formalizing math problems in Lean:. • Acronymizing every word:. • Maintaining capnproto-rust.
Pittsburgh PA, USA
youtube.com/@dwrensha
Joined October 2011
339
Following
659
Followers
