StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to define a partial function in Isabelle?
Author | Votes | Δ |
---|---|---|
Andreas Lochbihler | 3 | +3.76 |
chris | 2 | -0.30 |
Last visited: May 1, 2015, 9:21:11 PM