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