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 prove the lemma in Exercise 4.6 in “Programming and Proving in Isabelle/HOL”?

Author	Votes	Δ
René Thiemann	0	0.00

Last visited: Feb 22, 2018, 10:21:06 PM