StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
What's the difference between logical (Leibniz) equality and local definition in Coq?
| Author | Votes | Δ |
|---|---|---|
| ejgallego | 1 | +4.43 |
| Anton Trunov | 0 | -4.43 |
Last visited: Sep 23, 2016, 11:23:21 PM