StackRating

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

Yannick Forster

Rating
1500.75 (429,061st) 		Reputation
66 (904,478th)
Page: 1
Title Δ
unfold notation in ltac +4.40
Using Implicit Type Class Parameters in Coq Notation -3.65