StackRating

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

user138737

Rating
1504.00 (212,078th) 		Reputation
166 (519,911th)
Page: 1
Title Δ
How to prove something by using a definition? +4.20
Avoiding repeating long paths in image tags 0.00
To which subterms can we apply a lemma? +4.15
Proof of application equality in coq -4.34
Why does Coq rename variables in induction? 0.00
CoqIDE in Windows will not compile 0.00
SFML textEntered not working properly 0.00