StackRating

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

How do I rewrite negb true to false in Coq?

Author Votes Δ
Anton Trunov 4 +0.46
Zimm i48 1 -3.67
Last visited: Feb 24, 2017, 6:29:40 AM