StackRating
An Elo-based rating system for Stack Overflow
Answers and rating deltas for
How do you extract an element as the base type from a Seq type in Z3?
| Author | Votes | Δ |
|---|---|---|
| Malte Schwerhoff | 3 | +1.99 |
| alias | 1 | -1.99 |
Last visited: Jan 9, 2018, 8:37:51 PM