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	Δ
Floating and interval arithmetic in Isabelle	0.00
Proving implication (a --> c) from (b --> c) given relation b...	0.00
Proving termination of Takeuchi function in Isabelle	0.00
Isabelle: What if a session needs more than one parent session?	0.00
Are inductive definitions finitely generated in Isabelle?	0.00
How do I write a custom induction rule over a parameterized inducti...	0.00
How do I get turnstile to work in isabelle?	0.00
Reasoning about the entirety of a codatatype in Isabelle/HOL	0.00
Access elements of data types	-2.12
Isabelle: Exporting "sqrt" to Haskell	+0.48
How can I combine rule induction with variable generalization in Is...	0.00
ML-programming in Isabelle: could not find some of the built-in fun...	0.00
How to use type's argument as a value in a function?	0.00
How to define a data type with constraints?	-0.53
How to find constructors of a datatype?	-0.44
How to define a class instance of type_synonym?	0.00
Intro rule for ∀x∈S (Isabelle)	0.00
How to prove an assumption given its conclusion from inductive decl...	0.00
How to Prove Commutative Property of Maximum in Isabelle	0.00
Proving that two specific sets have equal cardinality in Isabelle	0.00
Isabelle Real Datatype - Malformed definition: Non-constructor patt...	0.00
Vector transpose in Isabelle/HOL	0.00
Proving theorem of the form ~pvq using Induction in Isabelle	0.00
Non-terminating inductive predicates	-0.36
Termination proof for function on datatype involving a map	+0.48
Time derivative for vectors and matrixes on the real field	0.00
Convergence and vectors theories	0.00
How to prove that addition of a new variable to the expression does...	-0.03
How to define functions with overlapping patterns?	0.00
Isabelle function to find the longest sequence of members of a rela...	0.00
Parts of mathematics not yet formalized / Isabelle wishlist	0.00
Instantiating theorems in Isabelle	0.00
Proving the cardinality of a more involved set	0.00
Proving a basic identity in Isabelle	0.00
How to manage all the various proof methods	-0.53
Proving the cardinality of a finite set	-0.54
What does `class` do in Isabelle	0.00
Function returns 0 when it should return 1, eliminating parantheses	0.00
Isabelle return numbers instead of Suc(Suc( ... 0 ))	0.00
Defining finite sets in Isabelle	0.00
Finding the `card` function	0.00
Error in an Isabelle function definition taken from lecture notes	0.00
Error when trying to evaluate `coprime`	0.00
Organization of `thy` files that come with Isabelle	0.00
Complete proof output in Isabelle	0.00
All available predicates in Isabelle	0.00
Error message in Isabelle/HOL	0.00
Defining Primtive Recursion for multiplication in Isabelle	0.00
Isabelle's Simplifier: How does it choose which rules to apply?...	-4.36
Inner syntax error when using `o` as a variable/function name	0.00