StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Is there a way to "and" two decision procedures into one in Coq?
Author
Votes
Δ
thoferon
1
+4.34
Clément
0
-4.34
Last visited: Sep 14, 2014, 5:07:29 AM