StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Printing out / showing detailed steps of proof methods (like simp) in a proof in isabelle
Author | Votes | Δ |
---|---|---|
Alexander Kogtenkov | 4 | +4.04 |
davidg | 2 | -4.04 |
Last visited: Apr 28, 2015, 10:06:50 AM