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 Δ
What's the difference between Map and Mapping in Isabelle? 0.00
Is it possible to add assumptions to the domain of a function in Is... -0.38
How can I remove all occurrences of a sub-multiset in Isabelle? 0.00
Why are the following trivial self-equalities needed in the Isabell... 0.00
proving Predicate logic with Isabelle 0.00
How to deal with "exception Match raised" while computing... 0.00
How to use lambda expression in Isabelle/HOL? 0.00
Simplifying if-then-else in summations or products +2.03
Local assumptions in "state" mode 0.00
How to write isabelle iterated implications in ASCII 0.00
How to show the defintion of functions in Isabelle 0.00
If statement doesn't evaluate 0.00
Trying to prove that a type is an instance of `euclidean_semiring`... 0.00
Getting a function from a forall exists fact 0.00
Subst refl closing duplicate subgoals. What's going on? 0.00
Is there a way to get a complete list of all kinds of operators/con... +0.46
How can I recover the Pure lambda expression associated with a proo... 0.00
Breaking conjunctions of the form &&& into subgoals in... 0.00
Why can't I make my cases explicit in Isabelle when the proof i... 0.00
How can we force Isabelle to reveal to us what rule it's applyi... 0.00
Why would adding a definition change type-correctness of a locale i... 0.00
Can I change the notation in a built-in Isabelle type-class +1.97
Express a parametric abbreviation in Isabelle 0.00
How do I convert a predicate to a function in Isabelle? 0.00
Pattern matching existential goal in Isabelle 0.00
undefined in Isabelle/HOL 0.00
How to define level tree traversal of a binary tree in isabelle/hol 0.00
Isabelle: verify tautological formula 0.00
Why is my simproc not activated on the prescribed pattern? 0.00
Rewriting sine using simprocs in Isabelle 0.00
Basic Isabelle sequence limit proof +0.42
How proof assistants are implemented? +0.46
What's a cterm? 0.00
Using the rules inside a locale (group) Isabelle 0.00
Where can I find the definitions of binary trees and the algorithms... 0.00
Understanding derivatives in Isabelle (meaning of `at .. within`) 0.00
Rule conjI to split all the terms 0.00
Revisiting Gauss sum with Isabelle 0.00
Can a data type be defined which stores a lambda function that has... 0.00
proof of correctness for summation function with a counter 0.00
Combine OF and of 0.00
Reindexing sums in Isabelle 0.00
Power with integer exponents in Isabelle 0.00
How to lift lemmas 0.00
Malformed definition: Nonlinear patterns not allowed in sequential... 0.00
Writing the list of first n natural numbers as ints in Isabelle +1.91
How to prove that "3 is a prime" in the Isabelle proof as... 0.00
Isabelle 2017 -- getting started 0.00
Finite runs on a transition system +0.48
Proving intuitive statements about THE in Isabelle 0.00