StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
need a definition in Isabelle to show that two partial functions never produce the same output
| Author | Votes | Δ |
|---|---|---|
| Mostowski Collapse | 1 | 0.00 |
Last visited: Apr 29, 2015, 6:28:31 PM