StackRating
An Elo-based rating system for Stack Overflow
                
    Answers and rating deltas for
    How to prove there exist a rational which is less than some rational in agda?
| Author | Votes | Δ | 
|---|---|---|
| Vitus | 4 | 0.00 | 
Last visited: Nov 10, 2015, 5:55:27 PM