StackRating

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

user3078439

Rating
1496.15 (4,088,249th) 		Reputation
89 (769,623rd)
Page: 1
Title Δ
Can't make type classes work in Lean 0.00
Lean complains it can't see that a statement is decidable -3.85
Why does lean add implicit variables to lemmas from eq? 0.00
Why would a Scripting language be made 'purposefully Turing non... 0.00