StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
Leonidas Lampropoulos
|
Rating 1502.86 (332,611th) |
Reputation 86 (786,565th) |
Page: 1
| Title | Δ |
|---|---|
| Amount of random tests generated by QuickChick in Coq | -1.65 |
| Raising the failure level of a coq tactic | +4.51 |