StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Are arrows in Coq aliases of universal quantifications?
Author
Votes
Δ
ejgallego
4
+3.97
Vinz
2
-0.50
Last visited: Oct 31, 2016, 4:25:50 AM