Ali Caglayan
1,576
reputation
1
14
23
Interested in type theory, category theory and algebraic topology. Mixing these up is even more interesting.