Carlo Angiuli
Assistant Professor in Computer Science at Indiana University. Into (homotopy) type theory & programming languages.
Website: https://www.carloangiuli.com
Website: https://www.carloangiuli.com
Public Key
npub1q5nf9vpml4ddnxx7qe3cjw9aywweaemkek6fu8wag8kuwfe8pqps2a5nnqNIP-05 Address
carloangiuli_at_mathstodon.xyz@momostr.pinkProfile Code
nprofile1qqsq2f5jkqal6kkenr0qvcuf8z7j88v7uamvmdy7rhw5rmw8yunssqcprpmhxue69uhhyetvv9ujumt0d4hhxarj9ecxjmntleqng4Publishing to
relay.momostr.pink relay.momostr.pink
Author Public Key
npub1q5nf9vpml4ddnxx7qe3cjw9aywweaemkek6fu8wag8kuwfe8pqps2a5nnq