StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Is it possible to prove `forall n: nat, le n 0 -> n = 0.` in Coq without using inversion?
| Author | Votes | Δ |
|---|---|---|
| kyo dralliam | 5 | +3.89 |
| Théo Winterhalter | 4 | +1.83 |
| Pierre Jouvelot | 0 | -2.47 |
| larsr | 0 | -0.31 |
Last visited: Nov 27, 2022, 9:27:33 PM