StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Isabelle/HOL: proof by 'simp' is slow while 'value' is instantaneous
| Author | Votes | Δ |
|---|---|---|
| larsrh | 3 | 0.00 |
Last visited: Jul 3, 2017, 9:30:35 PM