StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

function with quantifier in Z3

Author	Votes	Δ
Nikolaj Bjorner	3	+0.47
Yin Chen	2	-2.45

Last visited: Jan 25, 2018, 6:56:46 PM