← Feed @de_Jong_Tom@mathstodon.xyz Post #952392 2025-12-18 17:28 UTC The slides for Types and Topology (https://tdejong.com/mhe60) are all up on the website now (where available)! @MartinEscardo Replies (0) No replies.