StackRating

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

How to prove (forall x, P x /\ Q x) -> (forall x, P x) [In Coq]

Author Votes Δ
Vinz 3 0.00
starblue 2 -0.01
Farley Knight 2 +0.09
Henri 2 0.00
Last visited: Sep 14, 2014, 5:07:29 AM