StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Prove something is less or equal to other thing using induction in COQ
| Author | Votes | Δ |
|---|---|---|
| Jason Gross | 3 | +3.70 |
| Ifaz Kabir | 1 | -3.70 |
Last visited: Sep 23, 2018, 4:06:57 AM