StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Answers and rating deltas for

Error "Tactic failure: The relation (fun x y : BloodType => x <> y) is not a declared

Author	Votes	Δ
Yves	2	0.00

Last visited: Sep 5, 2020, 12:36:14 PM