StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Knowing when an Isar-style proof is actually valid in Isabelle

Author	Votes	Δ
René Thiemann	2	0.00

Last visited: May 11, 2019, 11:16:05 PM