StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
Philip Wadler
|
Rating 1500.00 (3,572,487th) |
Reputation 26 (1,442,901st) |
Page: 1
| Title | Δ |
|---|---|
| How to prove ¬ 2 < 1 in agda? | 0.00 |