StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Why cannot evaluate a fix-defined expression with an abstract value in Coq?
| Author | Votes | Δ |
|---|---|---|
| Gilles 'SO- stop being evil' | 7 | 0.00 |
Last visited: Nov 17, 2015, 8:22:01 PM