StackRating

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

Ben Keks

Rating
1501.76 (381,616th) 		Reputation
240 (439,156th)
Page: 1
Title Δ
Expanding all definitions in Isabelle lemma +3.85
Isabelle/HOL Question about Sets of Tuples 0.00
Proving existence of an infinite path in Isabelle 0.00
In Isabelle, what do the angle brackets and double asterisks mean? 0.00
Conditional rewrite rules with unknowns in condition -3.34
Defining multiple constants in an integral 0.00
Operator overloading in Isabelle 0.00
Failed to refine any pending goal 0.00
Z into Isabelle 0.00
Case distinction for propositional logic 0.00
How to see step-by-step reasoning of Isabelle 'proofs' +1.26