StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
wjedynak
|
Rating 1500.67 (433,789th) |
Reputation 381 (339,326th) |
Page: 1
| Title | Δ |
|---|---|
| Definition of a certified program | +4.06 |
| How can finite numbers work? (dependent types) | -3.38 |
| How to learn agda | 0.00 |
| Termination of structural induction | 0.00 |