StackRating

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

How would I prove that b = c if (andb b c = orb b c) in coq?

Author Votes Δ
larsr 2 +4.22
Matt 1 -2.25
tinlyx 1 -1.96
Last visited: Jan 3, 2016, 1:01:53 AM