Leonardo Pacheco
Logic at TU Wien.
Mainly interested in games, modal logic and reverse mathematics.
By games I mean both mathematical ones and computer ones.
Mainly interested in games, modal logic and reverse mathematics.
By games I mean both mathematical ones and computer ones.
Public Key
npub1zpr06w0jzgjjqsk3xhjya2zw870gdz2vsq6gtltma8sg64972zlsshqaf6NIP-05 Address
leonardopacheco_at_mathstodon.xyz@mostr.pubProfile Code
nprofile1qqspq3ha88epyffqgtgntezw4p8rl85x39xgqdy9l4a7ncyd2jl9p0ct7vqu6Author Public Key
npub1zpr06w0jzgjjqsk3xhjya2zw870gdz2vsq6gtltma8sg64972zlsshqaf6