StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
What is required for Coq to generate an elimination combinator for an Inductive type?
| Author | Votes | Δ |
|---|---|---|
| Arthur Azevedo De Amorim | 2 | +0.45 |
| Myrthe van Delft | 0 | -3.57 |
Last visited: Dec 29, 2016, 7:58:14 AM