Michael Zhang michael
0 followers · 0 following
Repositories
136
 Projects Packages
5
 Code Public activity Starred repositories
michael pushed to master at michael/type-theory 2023-05-08 23:57:10 +00:00
565a7b19d9 Add some notes
michael opened issue michael/type-theory#2 2023-05-08 23:56:50 +00:00
Path between fibers for boolean equivalence
michael opened issue michael/type-theory#1 2023-05-08 23:55:55 +00:00
Incorporate reverse-ap for proving equivalence
michael pushed to master at michael/mraow 2023-05-05 03:06:30 +00:00
c26d86411c wtf
michael pushed to master at michael/mraow 2023-05-05 01:57:16 +00:00
7b4a511bdd rust
michael created branch master in michael/mraow 2023-05-04 23:08:35 +00:00
michael pushed to master at michael/mraow 2023-05-04 23:08:35 +00:00
0d9435e3e9 initial
michael created repository michael/mraow 2023-05-04 23:08:23 +00:00
michael pushed to master at michael/panorama 2023-04-30 17:33:00 +00:00
edf1e121fd build
michael pushed to master at michael/panorama 2023-04-30 17:30:34 +00:00
19eaedd14b notes
michael pushed to master at michael/navigation-tools 2023-04-25 13:16:46 +00:00
7089d2064f More queryer work