StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
What are strategies to write large and manageable proofs in Coq?
| Author | Votes | Δ |
|---|---|---|
| Arthur Azevedo De Amorim | 2 | +0.45 |
| Jason Gross | 1 | -3.58 |
Last visited: Mar 4, 2018, 4:27:37 AM