StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
Why would the tactic 'exact' be complete for Coq proofs?
Author
Votes
Δ
ejgallego
7
+0.51
Yves
2
-4.11
Last visited: Dec 23, 2017, 9:33:36 AM