StackRating

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

Manuel Eberl

Rating
1530.92 (17,738th) 		Reputation
4,674 (35,570th)
Page: 1 2 3 4
Title Δ
Lists and simplification rules: More difficult when using @ rather... 0.00
Constraining type variables in locales 0.00
Is there a lemma like "∃x. a^x = b" proved in Isabelle? 0.00
Proof by induction with three base cases (Isabelle) 0.00
Limit of c^n (with ¦c¦<1) is 0 (Isabelle) 0.00
Why won't the 'linordered_field_class.frac_le' rule wor... 0.00
Quadratic Formula in Isabelle? 0.00
Negation of set membership, equality 0.00
Definition of Prime in Isabelle 0.00
Intro rule for "∀r>0" in Isabelle +3.83
Inequality reasoning in Isabelle 0.00
Isabelle/HOL using addition/subtraction associativity 0.00
Idiomatic calculus proofs in Isabelle +3.68
Type imports don't seem to be working for me in Isabelle2016 0.00
set integrable with functions multiplication 0.00
Using an 'if and only if' rule to prove an 'if' sta... +3.84
Error defining dataype in Isabelle 0.00
Old Isabelle project imports ml file using 'uses' How shoul... 0.00
Nonnegative Interval Integration 0.00
How to prove sset (cycle xs) = set xs -2.90
Isabelle book Exercise 2.11: Transforming expressions to polynomial... 0.00
Isabelle: commands/ syntactic local variables / syntactic abbreviat... 0.00
Error using tptp_isabelle: Unknown logic "HOL-TPTP" 0.00
How to show that 2 formula sare semantically equivalent in Isabelle 0.00
Isabelle: Axiomatization and Quickcheck vs auto solve_direct 0.00
Isabelle: generic datatypes and equivalence 0.00
haskell prelude : definition of seq 0.00
Proof with false hypothesis in Isabelle/HOL Isar +3.78
Universal Quantification in Isabelle/HOL 0.00
Isabelle recursive function +3.90
Solve ~(P /\ Q) |- Q -> ~P in Isabelle +1.20
Polymorphic "fix" statements when proving interpretations... 0.00
isabelle - Choose an arbitrary but fixed element +3.94
\<setminus> Isabelle syntax 0.00
Isabelle - exI and refl behavior explanation needed +3.93
Isabelle list lifter and compression 0.00
Isabelle - character and string literal support 0.00
Isabelle auto prover works on lemma, hangs on special case of the l... 0.00
Isabelle unification error 0.00
CARD of typedef of 0 to 7 nat 0.00
Isabelle - Nitpick - using witness values automatically 0.00
Isabelle/HOL foundations +4.04
isabelle termination with distance of real numbers +4.09
Proof for subtraction using r and (r-1)'s complement 0.00
Can't obtain variable 0.00
how to get isabelle to recognize an obvious conclusion 0.00
whats the standard way of stating that some sets partition another +4.07
proving simple inequality in isabelle 0.00
Isabelle: Unsupported recursive occurrence of a datatype via type c... 0.00
Variable arity function in Isabelle -3.37