StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
Daniel Schoepe
|
Rating 1497.38 (3,960,097th) |
Reputation 21 (1,590,989th) |
Page: 1
| Title | Δ |
|---|---|
| Matching expression context under `forall` with Ltac | -2.62 |