StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
What does the "note" command do in Isabelle and when is it necessary?
| Author | Votes | Δ |
|---|---|---|
| Mathias Fleury | 2 | +3.94 |
| user14704889 | 1 | -3.94 |
Last visited: Nov 27, 2022, 9:27:33 PM