StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Fixpoint proofs with a nested induction on the value of a function
| Author | Votes | Δ |
|---|---|---|
| Matthieu Sozeau | 1 | +0.27 |
| eponier | 1 | -0.27 |
Last visited: Jan 7, 2018, 5:37:23 AM