StackRating

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

chris

Rating
1505.67 (128,546th) 		Reputation
4,510 (36,953rd)
Page: 1 2 3
Title Δ
SML recursive programming with String.substring 0.00
proving function definition correctness in Isabelle -2.77
Moscow ML pattern matching 0.00
Zip with default value instead of dropping values? -1.50
Using "find_theorems" in Isabelle -2.24
Evaluator in OCaml/ML +3.80
conflicting versions in Isabelle? 0.00
Enforce distinctness of datatypes 0.00
What are the advantages of using Options for getting the Max of a l... 0.00
Isabelle: Opposite of "intro impI" -4.15
How to print different results to a screen and to a file in python? -3.81
Is there a way to split conjunction automatically? -4.37
Navigating a Turing Machine 0.00
Curried Functions in ML 0.00
Bijective function in sml 0.00
How do I generate LaTeX from Isabelle/HOL? 0.00
Working with Sets as Functions +3.70
How to use word_rsplit 0.00
Returning the position in a list (ML) 0.00
Isabelle: Evaluating formula with Quantifiers +4.04
How can I bind the schematic variable ?case in a rule for proof by... 0.00
How to set the quick and dirty flag in Isabelle 0.00
Haskell: cross product of a list with subsequences of another list -2.52
Haskell command line help from ghci -3.53
Listing non matching entries using 'grep -f' +4.87
How to write more than one statement in if statement in CPN ML? 0.00
Delete all lines until line that starts with dashes +4.88
Functional programming function confusion +0.31
Finding files in list using bash array loop -0.21
Lexicographic Permutations +0.27
Loop Invariant for Proving Partial Correctness 0.00
How to generate html version of Isabelle theory 0.00
Isabelle: Sledgehammer finds a proof but it fails +3.78
Map-Function for User-defined Generic Lists 0.00
Isabelle: proof for a equality of transposed matrix with a constant... -0.11
Isabelle: transpose a matrix that includes a constant factor 0.00
How to Conditionally Apply a Series of Operations? -1.53
Isabelle: how to print result of 1 + 2? 0.00
Is there a way to prove a program has no bug? +4.09
Finding character in 2 dimensional scala list -3.85
What Kind of Type Definitions are Legal in Local Contexts? 0.00
How Can I eliminate this dot? I was testing Implicit Conversion +0.28
Difference between compile time and run time +3.91
index function for balanced binary tree -1.96
List difference function -3.36
Implementing a scala method using a partial function -0.27
bash script using multiple arguments 0.00
How to hide defined constants 0.00
Scala - finding a specific tuple in a list +0.75
Haskell Writing myLength +4.14