StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
How to import the Library: Coq.Arith.PeanoNat in Coq?
Author
Votes
Δ
larsr
6
+4.12
gallais
0
-0.52
Last visited: Aug 26, 2016, 2:34:25 PM