StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
Is there a reference definition of higher-order logic as in HOL, Isabelle, etc?
| Author | Votes | Δ |
|---|---|---|
| Makarius | 0 | 0.00 |
Last visited: Apr 29, 2015, 1:53:57 PM