Tim Carstens's user avatar
Tim Carstens's user avatar
Tim Carstens's user avatar
Tim Carstens
  • Member for 14 years, 5 months
  • Last seen more than 1 year ago
About

Currently working to support open source projects in the Coq ecosystem.

This user doesn’t have any gold badges yet.
1
silver badge
5
bronze badges
8
Score
2
Posts
67
Posts %
8
Score
1
Posts
33
Posts %
0
Score
2
Posts
67
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
0
Score
1
Posts
33
Posts %
Top posts