StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Lawrence Paulson

Rating
1493.61 (4,323,309th)

Reputation
301 (411,162nd)

Page: 1

Title	Δ
How proof assistants are implemented?	-3.67
Variable types for parameters in SML	-2.74
Does Lueng's RegExp library work with Isabelle/ML? Is there another...	+0.02
Trying to understand fix/assume/show "Failure to refine goal&q...	0.00
Isabelle: getting three different results with sledgehammer for wha...	0.00
Isabelle: Issue with leibniz formula	0.00
Confusing SML statement	-0.01
Isabelle: Metis: Proof state contains the universal sort {}	0.00