StackRating

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

How to "flip" an equality proposition in Coq?

Author Votes Δ
Vinz 2 +1.56
Mark Dickinson 2 -0.19
Last visited: Apr 28, 2015, 10:27:38 AM