StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
In coq, how do you declare/prove enumeration elements are distinct?
Author
Votes
Δ
Ptival
3
-0.05
Vinz
3
+0.40
Last visited: Jan 2, 2016, 4:16:54 PM