StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Isabelle: Is there a difference between using axiomatization and datatype for constructors
| Author | Votes | Δ |
|---|---|---|
| Joachim Breitner | 2 | +0.46 |
| Makarius | 0 | -3.70 |
Last visited: Apr 19, 2016, 10:53:29 PM