StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Binary search Tree in Coq. Trouble to use ( e0 : (val ?= n) = true ) to prove val = n

Author	Votes	Δ
Jason Gross	2	0.00

Last visited: Sep 2, 2018, 6:42:41 AM