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
  • Seattle, Washington
About

Supporting 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.
2
bronze badges
Posts

This user hasn’t posted yet.