StackRating

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

larsrh

Rating
1510.68 (66,530th) 		Reputation
2,059 (81,680th)
Page: 1 2
Title Δ
What's the difference between `overloading` and `adhoc_overload... 0.00
thy_goal_defn and keywords in Isabelle/HOL 0.00
Partial function in Coq / underdefined? 0.00
Equivalence between apply and Isar styles in Isabelle 0.00
What is the correct approach to induct on list length? 0.00
How to test for falsity in implications? 0.00
Proving properties of generated lists 0.00
Constructing useful lemmas 0.00
Term equality in Isabelle 0.00
Is it a good idea to extend standard types and operations? 0.00
Isabelle confused by a previous lemma? 0.00
Defining a subclass with parameters in Isabelle 0.00
Custom case distinctions in proofs +3.92
How we can access Coq or Isabelle/HOL using python program? +4.02
`find_theorems` in the AFP -4.03
Isabelle simplifier introduces case distinction for if-statement (w... 0.00
ML-programming in Isabelle (beginner) 0.00
How to merge set of finite maps? 0.00
How to map both keys and values of a mapping? -4.06
Induction rule case names (Isabelle) 0.00
Wellsortedness error ... not of sort equal 0.00
How to prove lemmas with partial functions? 0.00
libisabelle with existing Isabelle installation 0.00
I have Isabelle/HOL theory, how can I proceed with its application? 0.00
Calling Isabelle from external software (Java, Scheme) 0.00
Where is the label language used for Isabelle defined? 0.00
Non-terminating inductive predicates +4.23
Termination proof for function on datatype involving a map -2.47
Isabelle/HOL: proof by 'simp' is slow while 'value'... 0.00
How to define a linear ordering on a type? 0.00
How to analyze if-expressions in assumptions? 0.00
Parsing the content of a cartouche using a "term parser" -0.23
Introducing termination as a precondition in Leon/Stainless 0.00
What happens during function proofs 0.00
Isabelle and Scala 0.00
Lemma/rule to allow substitution in universally quantified variable... 0.00
Intro rule for "∀r>0" in Isabelle -3.83
Why does simp "fail to apply initial proof method" where... 0.00
What is the syntax to use Map.thy 0.00
Git: Remove everything except for a certain directory (BFG Repo Cle... 0.00
What do functional programmers mean by "moral"? +3.89
Creating a datatype with inequalities in Isabelle 0.00
Strange type error after "inlining" a val 0.00
Using an existing definition in Isabelle/ Hol 0.00
Pending sort hypotheses 0.00
Isabelle class obligation prove blue 0.00
Isabelle2016 and Proof General +3.91
range restriction/domain restriction in Isabelle 0.00
Isabelle: How to get datatype Inheritance 0.00
Isabelle session graph as a dot file +4.05