markusde
Human in the loop automated formal verifier
IRL: Markus de Medeiros (he/him)
⊢ (SPL@UBC) ∗ (SPL@UBC ——∗ ACSYS@NYU)
OLD TOOTS https://types.pl/@markusde
SHITPOSTING ACCOUNT you'll never find it
IRL: Markus de Medeiros (he/him)
⊢ (SPL@UBC) ∗ (SPL@UBC ——∗ ACSYS@NYU)
OLD TOOTS https://types.pl/@markusde
SHITPOSTING ACCOUNT you'll never find it
Public Key
npub1npykwnnmpamc9ap968tkqxvrn8gje70h98cve7flrgz63ug9whlqw8l9s2NIP-05 Address
markusde_at_mathstodon.xyz@mostr.pubProfile Code
nprofile1qqsfsjt8feas7auz7sjar4mqrxpen5fvl8mjnuxvlyl35pdg7yzhtlskj44hwAuthor Public Key
npub1npykwnnmpamc9ap968tkqxvrn8gje70h98cve7flrgz63ug9whlqw8l9s2