StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

flockshade

Rating
1499.93 (3,698,690th) 		Reputation
11 (2,003,801st)
Page: 1
Title Δ
COQ gets wrong by proving "forall n:nat, ( n <= 0) -> n=... -0.07