StackRating

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

eponier

Rating
1540.31 (11,656th) 		Reputation
2,179 (77,250th)
Page: 1 2
Title Δ
Mutual exclusive pair of natural numbers 0.00
Coq: unfold tricky notations +3.67
Coq IDE icon missing from favorites 0.00
Why does coq's typechecker reject my map definition? -3.87
What to do when the induction removes too much information to make... +1.89
How to upgrade Ocaml to the latest version to support QuickChick in... +3.69
How to launch `coqide` on Ubuntu? 0.00
Structural recursion on two arguments 0.00
Why does Coq object to the following PairUsualDecidableTypeFull mod... +3.64
How to prove something by using a definition? -2.39
Induction principle for `le` 0.00
Transfering proof from Z to N in Coq 0.00
Specialization of module argument in Coq 0.00
How does one inspect what more complicated tactics do in Coq step-b... +4.06
How does one get the original keybinding for Coq? 0.00
Defining equality relation for infinite trees +3.99
Splitting a premise with conjunction conclusion in Coq +3.41
Pattern-matching a hypothesis obtained from a pattern-match on goal 0.00
Can the injection tactic modify the end goal, or add extraneous ass... 0.00
Unable to find an instance for the variable x, even with explicit i... -0.01
How to prove decidability of a relation swaping its parameters? -3.73
mutual recursion on an inductive type and nat +3.70
How to prove decidability of a partial order inductive predicate? -3.85
Weird proof obligations resulting from a push/pop evaluator in Coq -1.94
mutually inductive types workaround 0.00
Installing packages for Coq using OPAM 0.00
How can I define the equality of pair in Coq? 0.00
How to delay a lambda evaluation so I can substitute lambdas 0.00
How to prove that a number is prime using Znumtheory in Coq +1.52
How to make use of information known about this function type in Coq -0.65
Rewrite under exists +3.71
Induction proofs on MSets 0.00
Rewrite hypothesis in Coq, keeping implication +3.99
why does `make` using _CoqProject in coqide differ from `coqc` on t... 0.00
Coq vector permutations -3.90
Instantiating an existential with a specific proof -0.27
Fixpoint proofs with a nested induction on the value of a function -0.27
coq induction with passing in equality -0.01
How can I split a list in half in coq? +3.96
Interaction between type classes and auto tactic +3.87
Extracting integer from int_Ring type in mathcomp's ssralg +0.32
Proving a coinduction principle for co-natural numbers 0.00
Coq MSet of bounded naturals 0.00
How to do induction differently? 0.00
How does the discriminate tactic work? -3.13
Need help on proving proposition in Coq +4.12
Folding back after unfolding 0.00
Unable to locate library +4.13
Stuck on a simple proof about regular expressions -1.04
Relationship between existential and universal quantifier in an ind... 0.00