StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Agda Programming- Proving Insertionsort makes 3 or less comparisons on a list of size 3
Author
Votes
Δ
glguy
1
+1.89
pigworker
1
-0.24
Last visited: Nov 14, 2015, 7:02:53 PM