StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Hilbert System - Automate Proof
| Author | Votes | Δ |
|---|---|---|
| physis | 16 | +4.10 |
| yuguang | 6 | +1.30 |
| Mostowski Collapse | 5 | 0.00 |
| starblue | 5 | -0.05 |
| Alexey Romanov | 3 | -3.81 |
| Doug Spoonwood | 2 | 0.00 |
Last visited: Sep 14, 2014, 5:07:29 AM