StackRating

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

kyo dralliam

Rating
1504.82 (145,450th) 		Reputation
36 (1,229,335th)
Page: 1
Title Δ
Defining integers inductively in Coq (inductive definitions subject... 0.00
Is it possible to prove `forall n: nat, le n 0 -> n = 0.` in Coq... +3.89
Theorem that finding in a list works properly +3.90
is there a tactic (other than inversion) that extracts implications... 0.00
Coq unable to unify -- how to change hypothesis? 0.00
Teach Coq that associative law of natural numbers holds 0.00
What does Proof. simpl. reflexivity. Qed. mean in Coq? 0.00
Issue around the 'elim restriction' -2.98
cannot rename things with dependent induction? 0.00
can coq intros pattern split at the rightmost opportunity for conju... 0.00
A suitably polymorphic definition of commutation in Coq 0.00
Assume val and opaque type constructs in F* 0.00