StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

SCappella

Rating
1544.79 (9,688th)

Reputation
875 (172,903rd)

Page: 1 2 3 4

Title	Δ
Type : Type in Coq	0.00
Inductive types carrying proofs	0.00
Why does `ev n (S(S n))' decrease the number and not increase it?	+3.69
Why am I not getting output for the following code?	-0.78
What is the type of a pi type?	0.00
How do you tell the CoqIde I want to use the apple keyboard “Comman...	+3.87
Using polymorphic functions in definitions	0.00