Michael Zhang michael
0 followers · 0 following
Repositories
123
 Projects Packages Code Public activity Starred repositories
michael pushed to mzhang/fix at michael/lean2 2024-08-09 09:21:31 +00:00
3c0e5f5226 fix compile error
8d72008ca0 add .cache to .gitignore
ee53cc032b add compile_commands
Compare 3 commits »
michael pushed to master at school/type-theory 2024-08-06 21:13:46 +00:00
e0f6ba0477 remove cubical hott folder
491b1b87b0 wip
Compare 2 commits »
michael pushed to master at michael/unimath2024 2024-08-02 15:35:56 +00:00
d9ada0cd32 lecture 7
michael pushed to master at michael/unimath2024 2024-08-01 22:57:00 +00:00
287c795a2d category theory
michael pushed to master at michael/unimath2024 2024-08-01 15:32:33 +00:00
21f42a67c5 lecture 5
michael pushed to master at school/type-theory 2024-08-01 07:36:19 +00:00
3ffdaf1fcb updates
michael created branch types in michael/thm 2024-08-01 02:50:12 +00:00
michael pushed to types at michael/thm 2024-08-01 02:50:12 +00:00
6fc0be28e1 wip
michael pushed tag base to michael/thm 2024-08-01 01:55:16 +00:00
michael pushed to main at michael/thm 2024-08-01 01:55:11 +00:00
5b5601f5ee finish occursIn
michael pushed to main at michael/thm 2024-08-01 01:48:56 +00:00
102b5efc46 it works
michael created branch main in michael/thm 2024-08-01 00:57:42 +00:00
michael pushed to main at michael/thm 2024-08-01 00:57:42 +00:00
1f0b6bba51 Implement
michael pushed to master at school/type-theory 2024-07-30 14:29:08 +00:00
e41548a6f9 update
michael pushed to master at michael/unimath2024 2024-07-29 22:45:41 +00:00
6e66d5c76d exercises
michael pushed to master at michael/unimath2024 2024-07-29 19:39:18 +00:00
63f1c282a9 update
michael pushed to master at michael/unimath2024 2024-07-29 15:31:58 +00:00
d3fda0f2f4 lecture 1
michael pushed to master at michael/unimath2024 2024-07-29 05:02:23 +00:00
527a7587bb works
michael created branch master in michael/unimath2024 2024-07-28 22:58:51 +00:00
michael pushed to master at michael/unimath2024 2024-07-28 22:58:51 +00:00
60eb07d593 initial