StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How do I evaluate a nested match in an assumption that depends on a sumbool, given a witness to that
Last visited: May 26, 2016, 8:28:31 PM