StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

How can I combine rule induction with variable generalization in Isabelle?

Author	Votes	Δ
Manuel Eberl	3	0.00

Last visited: Feb 21, 2018, 4:46:41 PM