StackRating

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

René Thiemann

Rating
1507.54 (103,202nd) 		Reputation
981 (157,263rd)
Page: 1
Title Δ
How to define a recursive function in Isabelle/HOL? 0.00
Is induction required in this Isabelle proof? 0.00
How to obtain witness instances outside a lemma in Isabelle/HOL 0.00
Existance proofs with polymorphic types 0.00
How do I define exchange(X) to make this theorem without error? 0.00
How to generate code for the existential quantifier +0.97
Knowing when an Isar-style proof is actually valid in Isabelle 0.00
Proper way to prove correctness and termination of algorithm from t... 0.00
Finite runs on a transition system -3.85
Isabelle : complement of datatype 0.00
Proof implication with exist in the premises without using Isar 0.00
How to define a semilattice of lists? 0.00
How to prove that a relation property holds for a transitive closur... 0.00
How to fix "partially applied constant on left hand side of co... 0.00
How can I instantiate a typeclass at =>? 0.00
verify an Isabelle proof from the command line +4.33
Isabelle: Exporting "sqrt" to Haskell -3.82
Isabelle Type Error 0.00
How can I prove the lemma in Exercise 4.6 in “Programming and... 0.00
How to generate a code for BNF? 0.00
How to map both keys and values of a mapping? +4.06
How to define a data type with constraints? +4.28
How to prove that a relation has functional property? 0.00
Widening the domain of a partial function 0.00
Isabelle Logic simple natural deduction test 0.00
Isabelle - Code generation - typedef 0.00
isabelle termination with distance of real numbers -4.09
Substitution in Isabelle 0.00
Working with generic definitions in Isabelle 0.00
Simple lemma in Isabelle 0.00
Type hierarchy definition in Isabelle -4.11
type_synonym vs consts in Isabelle definition 0.00
Transitive closure of identity relation +1.97
How to properly use keyword 'theorem' in Isabelle? -0.17
"String of nat" in Isabelle? +3.75
Using "find_theorems" in Isabelle +4.24
prove bubble sort is ordered by lemma 0.00
Induction on Recursive Function with a twist 0.00