StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
A theorem prover / proof assistant supporting (multiple) subtyping / subclassing
| Author | Votes | Δ |
|---|---|---|
| Makarius | 4 | +3.66 |
| noAccountHombre | 3 | +0.70 |
| Sassa NF | 2 | -0.34 |
Last visited: Apr 28, 2015, 10:22:33 AM