StackRating

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

Proving Termination of Function in Coq

Author Votes Δ
Yves 4 +4.00
Yves 1 -4.00
Last visited: Jan 23, 2018, 11:18:03 AM