Leonardo Pacheco @leonardopacheco@mathstodon.xyz
- home page
- https://leonardopacheco.github.io/
- languages
- portuguese/english/japanese
- pronoums
- he or they, both are fine
Logic at Tohoku University.
Mainly interested in games, modal logic and reverse mathematics.
By games I mean both mathematical ones and computer ones.
Joined Apr 2022
