Area 51 » Tim Carstens

151
reputation
1 views
discussion user
network profile

Registered User

name Tim Carstens
member for 2 years
seen Nov 28 '21 at 2:44
website
location Seattle, Washington

Supporting open source projects in the Coq ecosystem.

0

Proposals


0

Current Commitments


0

Fulfilled Commitments


0

Followed


0

Example Questions


5

Votes Cast

5 up

0 down