StackRating

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

Yves

Rating
1505.80 (126,314th) 		Reputation
1,773 (93,637th)
Page: 1 2 3
Title Δ
how to proof (f1+f1 = f2+f2 -> f1 = f2) in coq +0.66
Defining functions inside proof scope 0.00
less than relation between two natural numbers 0.00
`coqc -Q`returns "coqc: -Q: no such file or directory" 0.00
Proofs of simple arithmetic expressions 0.00
Induction with other base case in Coq -1.83
Theorem about vectors and recursive functions +0.48
Trivial lemma on real numbers on Coq 0.00
Definition of equality among vectors -1.50
Stuck on Coq proof with list induction -0.53
Coq destruct with an excluding precondition 0.00
Stuck with a proof 0.00
Equality on complex functions with complex type -2.15
Is there a good strategy for proving the given theorem? 0.00
How to prove equivalence between those two types - algorithm' a... 0.00
Z_3: left id proof 0.00
How can I build a list of bytes from its specification in Coq 0.00
Coq: How do I prove that forall n m : nat, (n > m) -> (S n &g... +1.77
Reusing lia tactic to prove decidability 0.00
Partial differentiation using Coqelicot on Coq 0.00
Equal relation between two terms 0.00
exact value of the derivative on Coq +3.70
Show theorem definition in Coq 0.00
How to arrange elements in the list 0.00
How to arrange elements in the list 0.00
How to prove statement is wrong -0.07
Configure OPAM switch for installation of Coq packages 0.00
How can I rename an existentially quantified variable in a hypothes... 0.00
How to solve contradiction in statements -0.06
How in Coq to use mod arithmetic (specifically Zplus_mod theorem) f... 0.00
How in linux to use interactive shell for Coq code? 0.00
Cycle Graph check Coq 0.00
how to simplify a equality statement 0.00
How to apply patteren matching on list 0.00
Coq auto tacitc fails +4.24
Modifying, working with, and applying let expressions in Coq 0.00
Classical axioms implies every proposition is decidable? 0.00
Error "Tactic failure: The relation (fun x y : BloodType =>... 0.00
Variant of the induction tactic that doesn't require using `rem... 0.00
Natural number list in coq -0.10
How do destruct list in Coq (nil or not nil) -3.97
ssreflect: elementary algebraic simplification 0.00
Coq: Issue with Require Export 0.00
Understanding the induction on evidence in coq 0.00
How to install "dllcoqrun.so" when trying to build the co... 0.00
What is subgoal "nat" +3.99
Proof that equality is symmetric in Coq 0.00
I want to do induction on Peano nats but I want to prove a property... -3.98
Coq extraction to Haskell 0.00
Lemma as a type in a record 0.00