StackRating

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

Florian Haftmann

Rating
1501.21 (406,066th) 		Reputation
101 (719,727th)
Page: 1
Title Δ
How to use different code lemmas for different modes of inductive p... 0.00
Algebraic simplifications in Isabelle +4.43
Is there an additive version of "Power.thy" in Isabelle? -3.21
Partially applied constant on left hand side of code equation 0.00
Isabelle: proof obligation - proving using counterexamples 0.00
Isabelle cardinality 0.00