MathOverflow Stack Exchange
MathOverflow Stack Exchange

Tim Carstens
181
reputation
  • Seattle, WA
  • Member since October 30 2009
  • 237 profile views
  • Last seen Jul 05 '22 at 19:31

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