StackRating

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

coq: elimination of forall quantifier

Author Votes Δ
Matt 2 +3.89
yarl 0 -3.89
Last visited: Jun 13, 2016, 7:22:08 PM