StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Coq: Show all terms in a type or types in a universe in the environment
Author
Votes
Δ
ejgallego
3
+4.02
Vinz
1
-0.25
Zimm i48
1
-2.01
Last visited: Oct 27, 2016, 2:10:41 PM