StackRating

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

Proof involving unfolding two recursive functions in COQ

Author Votes Δ
Arthur Azevedo De Amorim 5 +0.43
ejgallego 3 -2.68
Last visited: Jul 17, 2017, 2:19:40 PM