StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Mitchell Buckley

Rating
1500.29 (468,026th)

Reputation
68 (889,131st)

Page: 1

Title	Δ
Coq's mathematical proof language: Rewriting in if condition	-3.79
How to prove uniqueness of a function in Coq given a specification?	+4.08