StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

user1791452

Rating
1496.16 (4,085,338th)

Reputation
11 (1,929,068th)

Page: 1

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