StackRating

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

Peter Zeller

Rating
1459.98 (4,528,687th) 		Reputation
729 (201,030th)
Page: 1 2
Title Δ
Add comments to the text generated by induct rule 0.00
Typescript union type generic parameter 0.00
Locale definition produces two parse trees 0.00
Invoking no-arg constructors of custom data types with type paramet... 0.00
In Isabelle, how to print the state (i.e. subgoals to prove) in oth... 0.00
Proving a type classed theorem in Isabelle 0.00
how to use regex to extract match string in scala? 0.00
Isabelle does not evaluate lemma 0.00
Induction on a well-founded order in Isabelle 0.00
Isabelle's automatic solver does not find the proper theorem 0.00
Is the process of proving using Isabelle's theorem prover coded... 0.00
How to create appropriate lemmas to prove this lemma in Isabelle? -3.58
How do I remove quotes/cartouches from document output on Isabelle? 0.00
How to quickly get started with Isabelle's formal language stan... 0.00
Using an inverse value of an injective function +4.55
How does one insert values into unknowns in isabelle theorem prover? -3.53
Isabelle Code Generation and Linear Order 0.00
Is it possible to write non-automatic formalizations in Isar? 0.00
Object level implication in Isabelle/HOL 0.00
Focussing on new subgoals in Eisbach -3.61
Returning a type in Rust 0.00
Scala - merge Lists into one List element-wise +0.62
An induction for a non-trivial list function 0.00
Polynomial evaluation in Isabelle 0.00
Definition of right cancellation in Isabelle/HOL 0.00
How to use await inside await in async method and return result in... -1.66
Is there a prover just for propositional logic +0.38
Flexible/Fuzzy rule application in Isabelle/HOL 0.00
Basic Isabelle sequence limit proof -3.36
Rule induction in Isar 0.00
Where is the definition of full binary tree in Isabelle/HOL？ 0.00
Isabelle FOL partial Rule application 0.00
How to replace existentially quantified variable? 0.00
Creating a process from a queue in scalaz 0.00
Manually adding an assumption to the simplifier (Isabelle) 0.00
Error: 'Non-constructor pattern not allowed in sequential mode&... 0.00
Proving commutativity of add, Take 2 0.00
How to get desired format from ArrayList +1.91
How to use obtain in existential proofs? -1.33
Finding the parent of a node in a Binary tree -3.72
Java Array Output With Quotes 0.00
Too many 'if' statements? -3.28
Subclasses that inherit generic interfaces +0.23
Finding Area that CGPath Intersects CGRect +0.80
Installing Mercurial on Debian Squeeze: hg gives an "couldn't... 0.00
Please solve following query related to SQL -4.04
Specific generic type of lists within a list -3.79
Algorithm or Script for Sorting Multiple User Schedules -2.43
Has anyone tried proving Z3 with Z3 itself? 0.00
LoadLibrary can't find .dll in NetBeans +4.11