StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Coq: coercion/subtyping between complex expressions
Author
Votes
Δ
ejgallego
1
+4.05
jaam
0
-4.05
Last visited: Oct 15, 2016, 2:04:27 PM