StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

PLL

Rating
1508.30 (85,309th)

Reputation
737 (199,262nd)

Page: 1

Title	Δ
How to prove that the halving function over positive rationals alwa...	0.00
Nested List Appending in Haskell	+4.14
first-class module in Coq	0.00
In Coq, which tactic to change the goal from `S x = S y` to `x = y`	+4.17