StackRating

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

gallais

Rating
1490.69 (4,404,676th) 		Reputation
9,342 (16,489th)
Page: 1 ... 4 5 6
Title Δ
Assisting Agda's termination checker -2.44
Proofing Termination in Coq +4.06
defining new data type in ocaml 0.00
Agda: Equivalence relation for sub-colists -3.88
Agda: parse a string with numbers +0.15