StackRating

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

Josh Chen

Rating
1496.86 (4,002,343rd) 		Reputation
106 (690,017th)
Page: 1
Title Δ
Breaking conjunctions of the form &&& into subgoals in... 0.00
Drinker's Principle 0.00
Is it possible to "free" top-level universally quantified... 0.00
Isabelle: How can I position fixed arguments in mixfix notation? -3.14