StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How do I prove that two Fibonacci implementations are equal in Coq?
| Author | Votes | Δ |
|---|---|---|
| Anton Trunov | 4 | +3.09 |
| Anton Trunov | 4 | +3.09 |
| larsr | 3 | +1.82 |
| Anton Trunov | 2 | -1.44 |
| larsr | 2 | -1.12 |
| Anton Trunov | 0 | -4.11 |
Last visited: Feb 12, 2017, 3:49:50 AM