José A. Alonso on Nostr: Hopf algebras, affine group schemes and all of that. ~ Yaël Dillies. #ITP ...
Hopf algebras, affine group schemes and all of that. ~ Yaël Dillies. https://youtu.be/cz9Q4TtveL0 #ITP #LeanProver #Math
José A. Alonso
npub1pm…nv8pw
2026-01-29 13:08:10 UTC
Author Public Key
npub1pmahhjgr7nr8zmx56purp56y6747tds859tdu0x7rtq6t0ez4cwqfnv8pwSeen on
wss://relay.ditto.pub