StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Tej Chajed

Rating
1516.37 (40,545th)

Reputation
2,760 (61,181st)

Page: 1 2

Title	Δ
Notations in Coq	0.00
How to prove theorem about list of pairs	+0.20
Using `<tactic> in <Hypothesis>` pattern for user defin...	0.00
Coq: why can't I get an explicit witness out of an instance of...	0.00
Defining a function by recursion over an inductive predicate in Coq	+3.98
Require, Import, Require Import	0.00
Prove that the only zero-length vector is nil	+4.29
How do I provide implicit arguments explicitly in Coq?	+4.07
Decreasing argument (and what is a Program Fixpoint)	0.00
List uniqueness predicate decidability	+4.39
What does hypothesis with operator with question mark mean	0.00
"Collapsing" state in a functional map?	+0.25
How to apply Z.divide_add_r in a hypothesis?	-3.94
Induction principle for nested inductive types	0.00
Instantiating an existential with a specific proof	+0.27
how to define piecewise function from naturals to naturals in coq	0.00
How to initialize empty hint database	0.00
Coq - overriding notion of equality to add elements to set	0.00
Proof of the application of a Substitution on a term	+0.50
Hint Rewrite Cannot Infer Parameter	0.00
Enable explicit Type indices in coqtop?	0.00