Join Nostr
2026-01-29 13:11:22 UTC

José A. Alonso on Nostr: Teaching real analysis as a video game. ~ Alex Kontorovich. #ITP #LeanProver #Math

Teaching real analysis as a video game. ~ Alex Kontorovich. https://youtu.be/gSDLLBPDiKQ #ITP #LeanProver #Math
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pw
Seen on
wss://relay.mostr.pub