StackRating

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

Matthieu Sozeau

Rating
1497.11 (3,983,091st) 		Reputation
98 (732,004th)
Page: 1
Title Δ
proving two fixpoint functions by induction 0.00
Nested recursion and `Program Fixpoint` or `Function` -3.16
Fixpoint proofs with a nested induction on the value of a function +0.27