About christofsteel

Software Engineer in Germany, former researcher. 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