StackRating

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

echopi

Rating
1496.11 (4,098,067th) 		Reputation
11 (2,004,649th)
Page: 1
Title Δ
Eval compute is incomplete when own decidability is used in Coq -3.89