Max Fan
@maxfan8@mastodon.world
Joined: 29/11/2022
About Max Fan
CS PhD at Cornell. Proofs, types, and more!
Lists
maxfan8 has no public lists
Timeline
maxfan8 has no activity yet
@maxfan8@mastodon.world
Joined: 29/11/2022
CS PhD at Cornell. Proofs, types, and more!
maxfan8 has no public lists
maxfan8 has no activity yet