StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Reasoning about the boolean vector in Coq, based on the value of its sum. (kind of universal instant
Last visited: Jan 1, 2019, 8:55:20 AM