Mathematics

Julián
1,768
reputation
  • Montevideo
  • Member since May 14 2022
  • 184 profile views
  • Last seen Dec 10 '25 at 21:42

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