StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

How or is that possible to prove or falsify `forall (P Q : Prop), (P -> Q) -> (Q -> P) -...

Author	Votes	Δ
Arthur Azevedo De Amorim	7	0.00

Last visited: Apr 27, 2015, 9:35:49 PM