StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Hoare logic: how does a strictly decreasing loop variant by itself prove termination?
Author
Votes
Δ
n. m.
5
+4.55
JustinL
1
-1.63
WReach
1
-0.36
Last visited: Sep 14, 2014, 5:07:29 AM