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 `(fun _ : nat => False) = Empty_set nat` in Coq?

Author	Votes	Δ
Li-yao Xia	3	0.00

Last visited: Dec 22, 2019, 3:27:20 AM