StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Coq: defining more than two mutually recursive functions on inductive type
Author
Votes
Δ
ejgallego
2
+3.96
Vinz
1
-0.49
Last visited: Dec 6, 2016, 10:24:49 AM