StackRating
An Elo-based rating system for Stack Overflow
Rating Stats for
Floris van Doorn
|
Rating 1504.32 (165,118th) |
Reputation 26 (1,433,959th) |
Page: 1
| Title | Δ |
|---|---|
| Why do Calculus of Construction based languages use Setoids so much? | +4.32 |
| Definition of choice in Lean | 0.00 |