StackRating
An Elo-based rating system for Stack Overflow
Home
|
About
|
Stats and Analysis
|
Get a Badge
Answers and rating deltas for
How do I prove code with a real axiomatic in Frama-C
Author
Votes
Δ
byako
3
+4.71
Virgile
2
-0.42
Last visited: Feb 19, 2019, 8:26:47 AM