StackRating

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

Oliver Nash

Rating
1496.36 (4,052,459th) 		Reputation
103 (702,108th)
Page: 1
Title Δ
Why does Coq object to the following PairUsualDecidableTypeFull mod... -3.64