Stack Overflow
Stack Overflow

intoverflow
1,011
reputation
7
7
  • Seattle, WA
  • Member since July 14 2010
  • 106 profile views
  • Last seen Oct 01 '22 at 18:42

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