StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Proof automation in Coq how to factorize a proof
Author
Votes
Δ
larsr
3
+4.00
larsr
2
-2.67
Last visited: Apr 3, 2016, 6:25:00 AM