PhD Student in Germany. Interested in Type Theory, Abstract Mathematics, Open Source Software, Redistribution of Wealth and Combating Climate Change. (He/Him)
Public Key
npub14adlf34ve8xdqhk3fljke4lglq2fxwgtd6q5p4xda8vgcxlj0ddsu3fqa7NIP-05 Address
christofsteel_at_ruhr.social@mostr.pubProfile Code
nprofile1qqs27kl5c6kvnnxstmg5letv6l50s9yn8y9kaq2q6nx7nkyvr0e8kkcey4hhlAuthor Public Key
npub14adlf34ve8xdqhk3fljke4lglq2fxwgtd6q5p4xda8vgcxlj0ddsu3fqa7