StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Coq simpl / unfold only once. (Replace part of goal with the result of one iteration of a function.)
| Author | Votes | Δ |
|---|---|---|
| SCappella | 6 | +3.63 |
| Théo Winterhalter | 2 | -3.63 |
Last visited: Dec 22, 2019, 3:27:20 AM