StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Given a theorem "P(t) ⟶ (∃x . P(x))" with an object logic implication, why is the proof go
| Author | Votes | Δ |
|---|---|---|
| Joachim Breitner | 5 | 0.00 |
Last visited: Jun 24, 2017, 4:03:14 PM