StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Coq theorem proving: Simple fraction law in peano arithmetic
| Author | Votes | Δ |
|---|---|---|
| Anton Trunov | 4 | +0.43 |
| larsr | 2 | -3.42 |
Last visited: May 14, 2020, 3:16:00 AM