StackRating

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

Perce Strop

Rating
1490.03 (4,415,805th) 		Reputation
81 (810,723rd)
Page: 1
Title Δ
COQ gets wrong by proving "forall n:nat, ( n <= 0) -> n=... -3.97
Inheriting Typeclasses of different Kinds in Coq -3.98
Multiple Typeclass Inheritance in Coq 0.00
Using dependent types in Coq (safe nth function) -2.03