StackRating

An Elo-based rating system for Stack Overflow
Home   |   About   |   Stats and Analysis   |   Get a Badge
Rating Stats for

Dennis Müller

Rating
1496.85 (4,003,001st)
Reputation
146 (565,353rd)
Page: 1
Title Δ
Find MMT Unicode abbreviations for given symbol (e.g. given ☞, find... -3.15
What does the `ref` keyword in MMT do? 0.00
Why can't I have a definiens with type parameters in MMT (using... 0.00