StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Kazuhiro Kobayashi

Rating
1496.65 (4,020,361st)

Reputation
145 (567,289th)

Page: 1

Title	Δ
Is there a way to get eauto to properly invoke econstructor?	0.00
How in Coq to make `simpl` command perform only one step reduction?	0.00
strictly positive vs ill-formed regular expressions in Coq	-3.35
coq program module throws out my hypotheses	0.00
Allow potentially infinite loops in Coq	0.00