StackRating

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

Problems with dependent types in Coq proof assistant

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