StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
user10094828
|
Rating 1499.95 (3,684,107th) |
Reputation 11 (2,052,903rd) |
Page: 1
| Title | Δ |
|---|---|
| Basic Isabelle/Isar style (exercise 4.6) | -0.05 |