Theoretical Computer Science Stack Exchange
Theoretical Computer Science Stack Exchange

like
33
reputation
3
  • Member since August 06 2012
  • 22 profile views
  • Last seen Aug 31 '12 at 03:48

coq theorem proving