StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Wellfounded induction in CoQ
| Author | Votes | Δ |
|---|---|---|
| eponier | 5 | +4.13 |
| Anton Trunov | 4 | -1.73 |
Last visited: Aug 28, 2016, 8:19:13 PM
| Author | Votes | Δ |
|---|---|---|
| eponier | 5 | +4.13 |
| Anton Trunov | 4 | -1.73 |