Michael Zhang michael
0 followers · 0 following
Repositories
136
 Projects Packages
5
 Code Public activity Starred repositories
michael pushed to dev2 at michael/panorama 2024-11-04 23:26:16 +00:00
6b23c47f65 wip
michael pushed to dev2 at michael/panorama 2024-11-04 22:54:36 +00:00
7963e93186 proto
michael pushed to master at michael/type-theory 2024-11-04 17:05:06 +00:00
a959efa0b6 wip
michael pushed to dev2 at michael/panorama 2024-11-04 07:16:05 +00:00
a880490dc4 wip
michael pushed to dev2 at michael/panorama 2024-11-04 05:39:30 +00:00
4441c7692b tauri init
michael created branch dev2 in michael/panorama 2024-11-04 05:34:27 +00:00
michael pushed to dev2 at michael/panorama 2024-11-04 05:34:27 +00:00
328df2b405 new start
michael created branch master in michael/agdaup 2024-11-03 09:00:25 +00:00
michael pushed to master at michael/agdaup 2024-11-03 09:00:25 +00:00
62848ea8c8 lol
0cc3e123b2 update
8b83554b1c try mac
fc1b6e70e3 cabal dir
01c8af250a update
michael created repository michael/smell 2024-11-03 07:18:01 +00:00
michael pushed to master at michael/type-theory 2024-11-03 05:48:33 +00:00
38b152a9a4 wip
michael opened issue michael/type-theory#46 2024-11-02 19:50:01 +00:00
Prove the five lemma
michael pushed to master at michael/type-theory 2024-11-02 19:48:33 +00:00
173e6d4bbf wip
604a5045c4 wip
d17901e7d6 wip
ca5e41e464 give up on the corollary-equiv 3.5.1 for now
Compare 4 commits »
michael pushed to master at michael/type-theory 2024-11-01 16:08:00 +00:00
26ea102563 pushing all my code from desktop
michael opened issue michael/type-theory#45 2024-10-29 05:14:31 +00:00
Find out some backup project ideas
michael pushed to master at michael/blog 2024-10-29 03:49:37 +00:00
2973f40c00 dot color
michael closed issue michael/type-theory#37 2024-10-29 01:20:59 +00:00
Define SuccStr over N x fib(k)
michael pushed to master at michael/type-theory 2024-10-29 01:20:59 +00:00
1eb6441aa0 succ str on N x fib, closes #37
michael closed issue michael/type-theory#44 2024-10-28 23:56:59 +00:00
Exercise 3.5
michael pushed to master at michael/type-theory 2024-10-28 23:56:59 +00:00
4c435f3764 exercise 3.5, closes #44