StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to include both Agda and Isabelle code in the same latex file?
| Author | Votes | Δ |
|---|---|---|
| gallais | 2 | +1.41 |
| Cactus | 0 | -1.19 |
| samcarter_is_at_topanswers.xyz | 0 | -1.78 |
Last visited: Oct 21, 2019, 3:17:49 PM