Zhixuan Yang

A curious and ignorant student interested in categorical semantics of programming languages at Imperial College London. Follower of Humanistic Buddhism.

Public Key

npub158nf425n9hn3n3zhdgl7236cn59yj99vksun39tdtm48qkqjnx6srauyrp

NIP-05 Address

zyang_at_mathstodon.xyz@mostr.pub

Profile Code

nprofile1qqs2re5642fjmecec3tk50l9gavf6zjfzjktgwfcj4k4a6nstqffndgpzemhxue69uhhyetvv9ujumn0wd68ytnzv9hxgud0thv

Publishing to

relay.nostr.band

Author Public Key

npub158nf425n9hn3n3zhdgl7236cn59yj99vksun39tdtm48qkqjnx6srauyrp

Show more details

Last Notes

2024-09-07 19:42:10

- reply

@npub1ky2…ghvc Yes!

2024-09-07 19:42:10

- reply

@npub1ky2…ghvc Yes!

2024-09-07 19:36:37

- reply

@npub1ky2…ghvc This package has been working well for me: https://ctan.org/pkg/proof-at-the-end except that tikzcd diagrams must be used with the "ampersand
replacement=\&" option and with \& to separate columns

2024-09-07 19:36:37

- reply

2024-04-17 21:24:20

A new book on type theory has just arrived! I didn't expect it to be this big (it weighs >3.5kg)
https://media.mathstodon.xyz/media_attachments/files/112/288/658/594/630/000/original/d8e7eb4adbf8f726.jpeg
https://media.mathstodon.xyz/media_attachments/files/112/288/659/442/973/236/original/e055f02377a81cd8.jpeg