StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
How is "less than" defined for real numbers in Coq?
Author
Votes
Δ
gallais
2
+4.14
ejgallego
0
-4.14
Last visited: Mar 20, 2016, 7:52:59 PM