Michael Zhang michael
0 followers · 0 following
Repositories
123
 Projects Packages Code Public activity Starred repositories
michael pushed to master at school/type-theory 2024-07-11 05:49:18 +00:00
95ee861349 retract
michael pushed to master at school/type-theory 2024-07-11 05:31:31 +00:00
1e270130e0 lemma 3.11.6
michael pushed to master at school/type-theory 2024-07-11 05:29:44 +00:00
3807a5759a lemma 3.11.3
michael pushed to master at school/type-theory 2024-07-11 05:16:18 +00:00
83c80001e5 example 3.1.6
michael pushed to master at school/type-theory 2024-07-11 04:06:36 +00:00
b5e43eeb22 update script
michael pushed to master at school/type-theory 2024-07-11 04:05:59 +00:00
27524b9250 update
michael pushed to master at school/type-theory 2024-07-10 22:03:57 +00:00
704e3f9f77 build table
michael opened issue school/type-theory#19 2024-07-10 21:58:41 +00:00
Chapter 4: Equivalences
michael pushed to master at michael/panorama 2024-07-10 09:19:24 +00:00
ba7b14937e properly select
michael pushed to master at michael/panorama 2024-07-10 08:11:25 +00:00
f5b9494d26 save other attributes
michael pushed to master at michael/panorama 2024-07-10 05:12:23 +00:00
d4b3b74b5f update
michael pushed to master at michael/panorama 2024-07-10 01:06:25 +00:00
f42dff2a12 node impl
michael pushed to master at michael/blog 2024-07-09 21:17:05 +00:00
3949f19f1f update short bio
michael pushed to master at school/type-theory 2024-07-09 16:22:18 +00:00
b16f3623ad lemma 3.11.9
michael pushed to master at school/type-theory 2024-07-09 15:25:00 +00:00
4c9a94414d example 3.1.9
michael pushed to master at school/type-theory 2024-07-03 03:11:29 +00:00
d3f5406ffa test
michael pushed to master at school/type-theory 2024-07-02 21:32:12 +00:00
05eb94c28e Delete aux/preprocessGraph.ts
michael pushed to master at michael/panorama 2024-07-01 14:32:42 +00:00
9ae70cdd36 docs
michael pushed to master at michael/panorama 2024-07-01 09:47:27 +00:00
397e456983 dcos
michael pushed to master at michael/panorama 2024-07-01 08:38:31 +00:00
710b783ca7 astro