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 `theorem : ¬ ⊤ ≡ ⊥` in Agda?

Author	Votes	Δ
András Kovács	6	+0.96
Sassa NF	4	-0.29

Last visited: May 14, 2020, 3:16:00 AM