StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
user1494846
|
Rating 1504.26 (169,362nd) |
Reputation 124 (624,138th) |
Page: 1
| Title | Δ |
|---|---|
| proving a theorem in Coq | +4.21 |
| apply argument to equal functions in Coq | +0.05 |