StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Coq type error when matching with type family
Author
Votes
Δ
gallais
2
+2.24
Elazar
0
-1.07
Lynn
0
-1.17
Last visited: Oct 14, 2016, 9:31:34 AM