StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
Nikolaj Bjorner
|
Rating 1504.18 (175,899th) |
Reputation 116 (649,989th) |
Page: 1
| Title | Δ |
|---|---|
| Used Premises/Axioms in Z3 TPTP proofs | 0.00 |
| a datatype contains a set in Z3 | +4.18 |
| evaluating array expressions | 0.00 |