Yuxuan Sun

icon indicating a website link blog.a-stable.com icon indicating an email [email protected]

icon company Shanghai Jiao Tong University icon location Shanghai, China icon location Undergraduate @ Shanghai Jiao Tong University - SPEIT

Results 3 issues of Yuxuan Sun

个人页面无法查看小说收藏-非公开

1 comment

选择非公开无效，仍然显示公开收藏； 在iOS/Android端Pixez均可复现，使用网页端pixiv可正常查看

Fix starship palette

See https://github.com/catppuccin/starship/commit/0cf91419f9649e9a47bb5c85797e4b83ecefe45c

Formal Method, Type Theory: init

5 comment

Add Logic - Formal Method, Math/Logic Preliminaries - Type Theory. Not sure if they are correctly classified. Restrictions: - Formal Method currently includes only Coq-related materials. For other proof assistants...