StackRating

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

Wolfgang Jeltsch

Rating
1503.92 (266,794th) 		Reputation
328 (383,808th)
Page: 1
Title Δ
Isabelle: How can I identify two ancestor locales with equal but no... 0.00
How can I define syntax for a binder with an additional argument in... 0.00
How can I prove irreflexivity of an inductively defined relation in... +3.92