About christofsteel

PhD Student in Germany. Interested in Type Theory, Abstract Mathematics, Open Source Software, Redistribution of Wealth and Combating Climate Change. (He/Him)
Developer of @syng

Lists

Timeline

christofsteel has no activity yet