StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How does one prove simple equalities of non-deterministic values in Frama-C + EVA?
Author | Votes | Δ |
---|---|---|
byako | 5 | 0.00 |
Last visited: Sep 4, 2019, 3:46:46 PM