Julián
1,614
reputation
Math/logic student with interests in categorical logic and type theory.
Math/logic student with interests in categorical logic and type theory.