StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

STyx

Rating
1500.00 (2,275,633rd)

Reputation
31 (1,308,692nd)

Page: 1

Title	Δ
Proving (p->q)->(~q->~p) using Coq Proof Assistant	0.00