StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
How to introduce a new existential condition from a witness in Coq?
Author
Votes
Δ
eponier
3
+4.03
Vinz
2
-2.69
Last visited: Jan 14, 2016, 7:10:39 AM