StackRating

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

Christoph Lange

Rating
1504.23 (171,388th) 		Reputation
355 (359,572nd)
Page: 1
Title Δ
Running XSLT to RDF framework fails because of Saxon 0.00
How can I use rules suggested by solve_direct? (by (rule …) doesn't... +0.08
Idiomatic Proof by Contradiction in Isabelle? 0.00
How to make the assumption of the second case of an Isabelle/Isar p... +4.15