StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Proving a theorem using equality relation: ∀[ x ] ∀[ y ] (¬ Eq x y → ¬ Eq (f x) (f y))
Author | Votes | Δ |
---|---|---|
MrO | 3 | 0.00 |
Last visited: Sep 5, 2020, 12:36:14 PM