StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
how ot proof 10%Z < Int.max_unsigned in Coq and the Int type from Compcert
| Author | Votes | Δ |
|---|---|---|
| Isabelle Newbie | 5 | +4.06 |
| mpetruska | 0 | -4.06 |
Last visited: May 8, 2018, 12:32:53 PM