StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Isabelle / isar: Implementing equational reasoning

Author	Votes	Δ
Alexander Kogtenkov	2	0.00

Last visited: Apr 19, 2016, 10:53:29 PM