StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
What are the strengths and weaknesses of the Isabelle proof assistant compared to Coq?
| Author | Votes | Δ |
|---|---|---|
| Arthur Azevedo De Amorim | 9 | +3.65 |
| Mathieu | 1 | -3.65 |
Last visited: Nov 12, 2015, 4:32:09 PM