StackRating

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

How to do case analysis on the length of a list in Coq?

Author Votes Δ
Vinz 3 +3.82
larsr 2 -2.48
Last visited: Feb 29, 2016, 4:51:32 PM