StackRating

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

Manuel Montenegro

Rating
1504.54 (154,231st) 		Reputation
31 (1,330,172nd)
Page: 1
Title Δ
Polymorphism in Dafny +4.54
Dafny inductive lemma: cannot infer postcondition of induction hypo... 0.00