StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Partial function in Coq / underdefined?
Author | Votes | Δ |
---|---|---|
larsrh | 4 | 0.00 |
Last visited: Feb 21, 2019, 6:14:50 PM
Author | Votes | Δ |
---|---|---|
larsrh | 4 | 0.00 |