StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
how to discover new lemma or guess or search the next lemma which want to be proved in Isabelle
| Author | Votes | Δ |
|---|---|---|
| Joachim Breitner | 1 | -0.04 |
| larsrh | 1 | +0.31 |
Last visited: Nov 11, 2015, 6:32:27 AM