StackRating

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

noAccountHombre

Rating
1500.70 (432,205th) 		Reputation
41 (1,150,171st)
Page: 1
Title Δ
A theorem prover / proof assistant supporting (multiple) subtyping... +0.70