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
nprofile1qqspq3ha88epyffqgtgntezw4p8rl85x39xgqdy9l4a7ncyd2jl9p0cprpmhxue69uhhyetvv9ujumn0wdmksetjv5hxxmmdqyt8wumn8ghj7un9d3shjtnwdaehgu3wvfskueqtxsmy5Publishing to
relay.mostr.pubAuthor Public Key
npub1zpr06w0jzgjjqsk3xhjya2zw870gdz2vsq6gtltma8sg64972zlsshqaf6