StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Retrieving constraints from GADT to ensure exhaustion of pattern matching in Coq
Author
Votes
Δ
HTNW
3
-0.14
radrow
3
+1.10
Last visited: Oct 21, 2019, 3:17:49 PM