Michael Zhang michael
0 followers · 0 following
Repositories
123
 Projects Packages Code Public activity Starred repositories
michael pushed to master at michael/panorama 2024-05-27 07:02:25 +00:00
4f31d10da4 order
michael pushed to master at michael/panorama 2024-05-27 06:47:28 +00:00
66a770faec search
michael pushed to master at michael/panorama 2024-05-27 06:27:22 +00:00
a7e4e82765 create new nodes
michael pushed to master at michael/panorama 2024-05-27 05:43:16 +00:00
508a7cbf5e search endpoint
michael pushed to master at michael/panorama 2024-05-27 04:35:23 +00:00
7307f92f55 edit title
michael pushed to master at michael/panorama 2024-05-27 04:07:08 +00:00
ccebb53879 save docs
michael pushed to master at michael/panorama 2024-05-27 02:56:17 +00:00
bcd2e9086b add exporting
michael pushed to master at michael/panorama 2024-05-25 16:13:13 +00:00
ec375f14f7 markdown
michael pushed to master at michael/panorama 2024-05-25 15:11:38 +00:00
5bb6ae6aa3 title
michael pushed to master at michael/panorama 2024-05-25 11:45:29 +00:00
e3c477181d search bar
michael pushed to master at michael/panorama 2024-05-25 10:37:33 +00:00
d0d64cf018 improve display
michael pushed to master at michael/panorama 2024-05-25 10:04:10 +00:00
b56e5a24f1 initial
michael pushed to master at school/type-theory 2024-05-25 04:04:49 +00:00
237248bdc2 concise revised
michael pushed to master at school/type-theory 2024-05-25 03:54:32 +00:00
4b5cd69a66 push
9bedfd5aaa dissertation source
Compare 2 commits »
michael opened issue school/type-theory#16 2024-05-23 16:38:00 +00:00
What is the behavior of I in the cubical definition of apd
michael pushed to master at school/type-theory 2024-05-23 16:29:32 +00:00
cbf61d6a96 Update .gitattributes
michael closed issue school/type-theory#12 2024-05-23 15:19:29 +00:00
Decide on a research project
michael commented on issue school/type-theory#12 2024-05-23 15:19:29 +00:00
Decide on a research project

Decided on: formalize spectral sequences (Floris van Doorn's PHD thesis)

michael pushed to master at school/type-theory 2024-05-23 14:53:51 +00:00
7d9fde3d1c move old shit
michael pushed to master at school/type-theory 2024-05-23 14:50:48 +00:00
f99ed6bd2b change margins to make the page size more readable