StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How to call proof asistant Coq from external software
| Author | Votes | Δ |
|---|---|---|
| ejgallego | 9 | +0.49 |
| Isabelle Newbie | 2 | -3.91 |
Last visited: Dec 3, 2017, 2:09:25 PM