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

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

Badges
This user doesn’t have any gold badges yet.
This user doesn’t have any silver badges yet.
1
bronze badge
Posts

This user hasn’t posted yet.