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 Δ
Isabelle proof error when calling sequential record operations 0.00
ClassCastException when running code in SBT 0.00
isabelle - Choose an arbitrary but fixed element -3.94
What does depth refer to in Isar Virtual Machine output? 0.00
'case _ of' non-datatype constant args, simps_of_case 0.00
Why does this Scala function compile when the argument does not con... +4.89
How to run Athena | Coq | Isabelle codes remotely? 0.00
how to discover new lemma or guess or search the next lemma which w... +0.31