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