StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Benjamin Pierce

Rating
1501.92 (373,155th)

Reputation
329 (382,887th)

Page: 1

Title	Δ
CoqIDE error with exporting modules in the same library	0.00
Stuck at "Retracting buffer" after type class resolution...	-2.49
Stuck at "Retracting buffer" after type class resolution...	-2.49
Coq: proof of "lens is closed under composition"	+3.96
Is there a more elegant way to write the following Coq code?	-1.02
Software Foundations - automatic grading	+3.96