Julián

1,614
reputation

Math/logic student with interests in categorical logic and type theory.