StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
In Coq, which tactic to change the goal from `S x = S y` to `x = y`
Author
Votes
Δ
PLL
4
+4.17
Virgile
1
-4.17
Last visited: Sep 14, 2014, 5:07:29 AM