StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

How to convert "Zneq_bool a b = true" to a witness of "a <> b" in Coq?

Author	Votes	Δ
Anton Trunov	2	0.00

Last visited: Apr 1, 2018, 3:02:55 AM