StackRating

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

Dominic Mulligan

Rating
1495.98 (4,169,751st) 		Reputation
381 (339,145th)
Page: 1
Title Δ
How to use obtain to make forward elimination proofs easier to read? 0.00
Automatic translation from Isabelle/HOL to HOL 0.00
Basic Isabelle/Isar style (exercise 4.6) +0.05
Defining functions between constants in Isabelle 0.00
How to prove commutative property for rational number in Agda? +4.67
Best way to rewrite lines in text file with rounded values -1.97
Haskell, compiler, enforcing the token order? -2.98
How to test my haskell functions -1.15
Why using functions defined in the same module faster than the same... -2.61
Couldn't match expected type `Integer' against inferred type `Value' +3.88
Haskell module not found. What is wrong with my project's file stru... -3.92
Non-Prolog logic programming 0.00