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