StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
Jesús Domínguez
|
Rating 1503.58 (309,673rd) |
Reputation 31 (1,329,863rd) |
Page: 1
| Title | Δ |
|---|---|
| Equality in Coq and in a paper of Awodey | +3.58 |