Michael Zhang michael
0 followers · 0 following
Repositories
112
 Projects Packages Public activity Starred repositories
michael opened issue school/type-theory#18 2024-06-03 04:24:14 +00:00
MayConcise Chapter 1 Problems
michael opened issue school/type-theory#17 2024-06-03 04:23:13 +00:00
Email the author of the paper
michael pushed to master at school/type-theory 2024-06-03 04:20:43 +00:00
bbc3848a8f make it compile again
michael pushed to master at school/type-theory 2024-06-03 04:15:20 +00:00
88afc145cc update
bcada886a8 CCHM
Compare 2 commits »
michael pushed to master at school/type-theory 2024-06-03 04:10:44 +00:00
ea0da820e3 add CCHM
michael pushed to master at michael/panorama 2024-06-03 00:41:11 +00:00
ae41b32313 begin splitting out into lib crate
michael pushed to master at michael/panorama 2024-06-02 23:12:10 +00:00
de465aafb1 add stuff
michael pushed to master at school/type-theory 2024-06-02 22:13:16 +00:00
d9b9f37ee2 converting primarily to cubical
michael pushed to master at michael/panorama 2024-06-02 21:37:44 +00:00
e23dc93936 upgrade to tauri 2
michael pushed to master at school/type-theory 2024-06-02 21:11:54 +00:00
e48922ebc5 update front
michael pushed to master at school/type-theory 2024-06-01 20:16:36 +00:00
b52886697a css
michael pushed to master at michael/recommend 2024-06-01 01:37:26 +00:00
d522537423 update
michael pushed to master at school/type-theory 2024-06-01 01:27:53 +00:00
890485ab2e replace more usage of J with just refl pattern matching
michael pushed to master at school/type-theory 2024-06-01 01:17:30 +00:00
18e037341a rewrite verbose J
michael pushed to master at michael/dotfiles 2024-06-01 00:39:14 +00:00
f97ef4dfa3 gcl
michael pushed to master at school/type-theory 2024-06-01 00:36:16 +00:00
bab1fe0d9f progress
michael closed issue school/type-theory#13 2024-06-01 00:34:56 +00:00
Theorem 2.13.1
michael pushed to master at school/type-theory 2024-05-31 07:42:31 +00:00
36e3186b0f exercise 2.5
michael pushed to master at school/type-theory 2024-05-30 21:54:11 +00:00
282be4abed make it error-less
michael pushed to master at school/type-theory 2024-05-30 21:36:55 +00:00
df0887af8c update