StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
How to avoid (unnecessary?) repetitive use of axioms in Agda?
Author
Votes
Δ
glguy
3
+4.03
Toxaris
1
-4.03
Last visited: Jan 2, 2016, 9:47:38 PM