timdaub

...joined 11 years ago, and has 2179 karma

submissions / comments / favourites

GitHub: https://github.com/timdaub

Blog: https://proofinprogress.com

Email: tim@daubenschuetz.de