StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
How can I easily write simple tactics at the ML level of Isabelle?
Author
Votes
Δ
Makarius
4
+4.24
davidg
0
-4.24
Last visited: Sep 14, 2014, 5:07:29 AM