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 Δ
How to see step-by-step reasoning of Isabelle 'proofs' +4.02
I need a working tutorial on Isabelle and Sledgehammer -4.02
What is the difference between primrec and fun in Isabelle/HOL? 0.00
An example of pratical application of Isabelle/HOL 0.00
Doing this proof automatically on Isabelle 0.00
What's the difference between "arith" and "presb... 0.00
Inductive predicate with type parameters in Isabelle 0.00
Converting free variables to bound variables +4.08
Trying to generalize a bit vector that uses typedef, bool list, and... 0.00
Integration in Isabelle +0.42
Trouble with Int Theory in Isabelle/HOL 0.00
How to prove the reversion of a doubling function equals the doubli... 0.00
How to properly use keyword 'theorem' in Isabelle? +0.17
Isabelle simple double function 0.00
Why can I prove ⟦ ( ∃ x. P ) ∧ ( ∃ x. Q ) ⟧ ⟹ ∃ x. (P ∧ Q)? 0.00
How to prove basic facts about datatypes and codatatypes? 0.00
Recurrence Relation without using Master Theorem 0.00
How to prove that a function is total on its domain? 0.00
Datatype equality in higher order logic 0.00
equivalence of arithmetic expressions using algebra_simps 0.00
Why is this tail-recursive Haskell function slower ? -4.11
haskell, map two lists adding each element of one with each of the... -1.22
Equality between Isabelle terms that use SOME 0.00
How to extract the instantiated variable in Isabelle? -3.84
Isabelle: this lemma about polynomials is only provable for idoms -3.93
Isabelle: adjusting lemma to form required for `rule` method +0.02
Substitution behaviour in Isabelle 0.00
Isabelle: Predecessor function 0.00
Isabelle: difference between A * 1 and A ** mat 1 0.00
How to build 'missing' complex functions in Haskell +4.12
Isabelle: If statement inside a sum 0.00
Proving A ==> B ==> C ==> B in Isabelle 0.00
Is there a way to split conjunction automatically? +4.37
Isabelle: degree of polynomial multiplied with constant 0.00
Prove a basic lemma in Isabelle +4.25
Degree of polynomial smaller than a number -3.92
How can I use rules suggested by solve_direct? (by (rule …) doesn't... -3.86
The context between Abstract Algebra and programming 0.00
Lambda Calculus Free Variable Issue 0.00
How can I prove the correctness of the following algorithm? 0.00
swap 2 elements in haskell by value -2.95
Drop a premise in a goal in apply style +0.09
General formula to calculate 3d-space equal distances +3.82
Fixing ugly string export in export_code for Scala 0.00