StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
Ondřej Kunčar
|
Rating 1503.95 (254,414th) |
Reputation 36 (1,212,349th) |
Page: 1
| Title | Δ |
|---|---|
| Lifting a partial definition to a quotient type | +3.95 |