StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Coq: How to prove "a=b -> nat_compare a b = Eq."?

Author	Votes	Δ
jozefg	2	0.00

Last visited: Sep 14, 2014, 5:07:29 AM