StackRating

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

wjedynak

Rating
1500.67 (433,789th)
Reputation
381 (339,326th)
Page: 1
Title Δ
Definition of a certified program +4.06
How can finite numbers work? (dependent types) -3.38
How to learn agda 0.00
Termination of structural induction 0.00