StackRating

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

Ben Sheffield

Rating
1510.80 (65,799th)
Reputation
108 (683,047th)
Page: 1
Title Δ
Why can't we do case analysis on inductively defined predicates... +3.57
How do you print local variables and ?thesis in an Isabelle proof (... +3.65
How to create appropriate lemmas to prove this lemma in Isabelle? +3.58