Michael Zhang michael
0 followers · 0 following
Repositories
111
 Projects Packages Public activity Starred repositories
michael pushed to master at school/type-theory 2024-05-18 00:35:51 +00:00
8658b6a2f5 exercise
michael pushed to master at school/type-theory 2024-05-17 23:35:19 +00:00
f9ee8c0503 update
michael pushed to master at school/type-theory 2024-05-17 22:37:28 +00:00
447bd52025 update
michael pushed to master at school/type-theory 2024-05-17 18:50:51 +00:00
87ab99506c progress
michael pushed to master at school/type-theory 2024-05-17 06:49:15 +00:00
5c35f42baf compile
michael commented on issue school/type-theory#12 2024-05-17 06:05:36 +00:00
Decide on a research project
Notes from this morning's meeting with Axel
  • Meeting with Axel Ljungström
    • Prev meeting was with Reed barton
    • Cellular homology
      • Doing homology…
michael pushed to master at michael/ddr-scores 2024-05-17 06:01:33 +00:00
29f4d32b6d update 2024-05-17
michael pushed to master at school/type-theory 2024-05-16 14:35:13 +00:00
56df3385e6 update
b95699f2f0 no crypto
Compare 2 commits »
michael closed issue school/type-theory#2 2024-05-16 14:09:44 +00:00
Path between fibers for boolean equivalence
michael commented on issue school/type-theory#12 2024-05-16 14:04:49 +00:00
Decide on a research project

As discussed in 2024-05-09 meeting with Favonia, will reconsider focus towards just formalizing some math theorems.

michael pushed to master at michael/DDRCompanion 2024-05-16 06:22:32 +00:00
0252fb337d weird sql error
michael pushed to master at michael/DDRCompanion 2024-05-16 06:02:50 +00:00
dfbf923d04 download charts
michael pushed to master at michael/DDRCompanion 2024-05-16 04:37:29 +00:00
db6dd41554 chart downloading
michael pushed to master at michael/DDRCompanion 2024-05-16 03:37:07 +00:00
8b070ca1dd wip migrations
michael pushed to master at michael/DDRCompanion 2024-05-16 01:05:03 +00:00
10719b6d83 got sql working
michael pushed to master at michael/DDRCompanion 2024-05-15 22:29:22 +00:00
a45002f693 add status
michael pushed to master at michael/DDRCompanion 2024-05-15 19:28:28 +00:00
d06f43682a licensing
michael pushed to master at michael/DDRCompanion 2024-05-15 19:17:08 +00:00
bf1a71a58b reorg
michael pushed to master at michael/DDRCompanion 2024-05-15 18:49:51 +00:00
cb553b52bd wip
4a6997d232 woodpecker:
Compare 2 commits »
michael created branch master in michael/DDRCompanion 2024-05-14 21:04:03 +00:00