StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Coq: proof of "lens is closed under composition"
| Author | Votes | Δ |
|---|---|---|
| Benjamin Pierce | 5 | +3.96 |
| jeslg | 2 | -3.96 |
Last visited: Apr 5, 2018, 4:28:10 PM