StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why does Coq use unnamed parameters in Inductive Types of Propositions?
| Author | Votes | Δ |
|---|---|---|
| gallais | 0 | 0.00 |
Last visited: Mar 17, 2019, 9:35:20 AM