StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Define an inductive dependent-type with constraints on the type-parameter
Author
Votes
Δ
gallais
6
+4.11
perror
1
-2.11
larsr
1
-1.99
Last visited: Nov 20, 2015, 6:52:41 PM