StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
What is the main symbol in Isabelle's set operator (‘) :: ('a => 'b) => 'a set
| Author | Votes | Δ |
|---|---|---|
| user9716869 - supports Ukraine | 4 | 0.00 |
Last visited: Nov 27, 2022, 9:27:33 PM