StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
The induction principle generated by Coq does not behave like I want it to
| Author | Votes | Δ |
|---|---|---|
| eponier | 0 | -0.09 |
| Myrthe van Delft | 0 | +0.09 |
Last visited: May 11, 2016, 3:27:25 AM