StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
verify an Isabelle proof from the command line
| Author | Votes | Δ |
|---|---|---|
| René Thiemann | 3 | +4.33 |
| Joachim Breitner | 0 | -0.54 |
Last visited: May 24, 2018, 5:52:57 AM