StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Coq inductive reasoning about ACSL inductive predicates?
Author
Votes
Δ
Virgile
3
+0.41
Vinz
0
-3.27
Last visited: Jan 3, 2016, 9:42:40 AM