StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How do I provide implicit arguments explicitly in Coq?
| Author | Votes | Δ |
|---|---|---|
| Tej Chajed | 5 | +4.07 |
| Tobia Tesan | 2 | -4.07 |
Last visited: Mar 19, 2018, 3:45:00 AM