Michael Zhang michael
0 followers · 0 following
Repositories
111
 Projects Packages Public activity Starred repositories
michael created branch master in michael/DDRCompanion 2024-05-14 21:04:03 +00:00
michael created repository michael/DDRCompanion 2024-05-14 21:03:47 +00:00
michael pushed to master at michael/popl-paper-ocaml 2024-05-13 17:07:41 +00:00
09822a6b4d fstar
michael created repository proglangs/bidir-fstar 2024-05-12 20:53:03 +00:00
michael created branch master in michael/plsandbox 2024-05-11 07:49:51 +00:00
michael created repository michael/plsandbox 2024-05-11 07:49:22 +00:00
michael pushed to master at school/type-theory 2024-05-09 02:48:47 +00:00
a6d602c0f7 more
michael pushed to master at school/type-theory 2024-05-09 00:14:34 +00:00
1dd217f750 2.15.2
michael pushed to master at school/type-theory 2024-05-09 00:00:33 +00:00
4d7ab55b19 2.7
michael closed issue school/type-theory#8 2024-05-08 23:34:24 +00:00
Exercise 2.13: (2 ≃ 2) ≃ 2
michael pushed to master at school/type-theory 2024-05-08 23:28:19 +00:00
044e7382ee proved 2.13
michael pushed to master at michael/panorama 2024-05-08 19:55:20 +00:00
b7cad16044 a
1b4e74485b akj
6db9469d8e update
161e38d8b1 init
Compare 4 commits »
michael pushed to master at michael/ddr-scores 2024-05-06 22:27:25 +00:00
252b577047 execute
michael pushed to master at michael/ddr-scores 2024-05-06 21:25:23 +00:00
762512731c files
michael pushed to master at michael/ddr-scores 2024-05-06 21:23:26 +00:00
5549bfbda7 committer
michael pushed to master at michael/ddr-scores 2024-05-06 21:20:33 +00:00
284fb5bb7e a
michael pushed to master at michael/ddr-scores 2024-05-06 21:17:55 +00:00
3743836e55 test
michael pushed to master at michael/ddr-scores 2024-05-06 21:15:48 +00:00
418f930650 fuck
michael pushed to master at michael/ddr-scores 2024-05-06 21:14:33 +00:00
362101a827 f
michael pushed to master at michael/ddr-scores 2024-05-06 21:11:32 +00:00
c66c0fc8d3 x