StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Answers and rating deltas for

when is the `:` (colon) in necessary in ssreflect/Coq?

Author Votes Δ
ejgallego 1 +3.95
tinlyx 0 -3.95
Last visited: Mar 28, 2016, 5:10:19 PM