StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Answers and rating deltas for

Writing proofs of simple arithmetic in Coq

Author Votes Δ
Anton Trunov 4 +1.23
Anton Trunov 1 -1.02
Yves 1 -1.69
Last visited: Apr 25, 2018, 3:45:02 AM