StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Johannes

Rating
1491.23 (4,395,610th)

Reputation
151 (552,375th)

Page: 1

Title	Δ
Testing polynomial definition (from natural numbers to integers)	0.00
'real_of_int' and 'real' in Isabelle?	0.00
Free type variables in proof by induction	-1.21
Idiomatic calculus proofs in Isabelle	-3.68
whats the standard way of stating that some sets partition another	-4.07
Substituting for the lambda expression in Isabelle	+0.19