StackRating

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

Counting number of different elements in a list in Coq

Author Votes Δ
Anton Trunov 9 +3.92
ejgallego 4 -1.81
eponier 4 -2.11
Last visited: Aug 26, 2016, 2:34:25 PM