StackRating

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

m0davis

Rating
1497.52 (3,949,850th) 		Reputation
98 (729,603rd)
Page: 1
Title Δ
Defining decidable equality for dependent pair in Agda -3.99
Rewrite and keep pattern matching? +1.51
Providing proof to Agda functions 0.00
How to define arbitrary partial order relation and prove its proper... 0.00