StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Taming meta implication in Isar proofs

Author	Votes	Δ
chris	3	+0.49
Lars Noschinski	2	-2.61

Last visited: May 1, 2015, 9:21:38 PM