StackRating

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

Using contextual information in Coq pattern matching

Author Votes Δ
Arthur Azevedo De Amorim 3 +4.32
Ptival 2 -0.37
Last visited: Apr 29, 2015, 3:28:00 PM