StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
Eduard Nicodei
|
Rating 1500.11 (498,873rd) |
Reputation 66 (898,932nd) |
Page: 1
| Title | Δ |
|---|---|
| Isabelle/HOL foundations | -4.00 |
| Isabelle: understanding the use of quantifiers | +4.11 |