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 Δ
Proving primes in Coq 0.00
How to make algebraic manipulations in Coq easier? 0.00
Coq induction hypothesis is wrong 0.00
Field tactic with partial inverse function 0.00
To which subterms can we apply a lemma? -3.35
coq Basics: bin_to_nat function -0.03
coq Basics: bin_to_nat function -4.03
elements of a group with limits 0.00
Are there any tactics to work with preconditions with "and&quo... 0.00
Custom Induction principle for mutually recursive types 0.00
Coq tactic to sort a list? +3.98
renaming part of hypothesis in Coq +4.53
Coq: performing inversion on Prop for Set when there is only one case +4.29
Coq: Stuck using the subtype +0.23
Coq: Defining Vernacular to avoid duplication 0.00
How to install Coq libraries without installation guide? 0.00
Is there any untyped but valid term in Gallina? -3.78
How to define a specific field in Coq 0.00
Coq impact analysis +0.22
even (n + m) -> even n /\ even m \/ odd n /\ odd m +0.23
Is Z.le as defined in the standard library proof irrelevant? +4.28
strange implicit type for eq_refl 0.00
Solving linear equation systems in Coq 0.00
View all installed libraries and how they are to be imported in Coq -3.91
Writing proofs of simple arithmetic in Coq -1.69
Defining a function by recursion over an inductive predicate in Coq -3.98
Cannot determine termination +4.49
Induction hypothesis for free variables of closed term in the simpl... 0.00
Creating a dictionary/map in Coq +4.05
Use Identifier before Defining for BNF-Style Definitions 0.00
When does the termination checker reduce a record accessor -3.68
Coq item 1.2.10 Type cast 0.00
Proving Termination of Function in Coq +4.00
Proving Termination of Function in Coq -4.00
How to perform induction over two inductive predicates? 0.00
reduce match with conditions on natural numbers in coq 0.00
How does decidable equality works with List.remove? -2.21
What is difference between `destruct` and `case_eq` tactics in Coq? 0.00
Coq: How to prove if statements involving strings? -2.71
Why inversion tactic doesn't work in the following Coq proof? 0.00
Why would the tactic 'exact' be complete for Coq proofs? -4.11
Pattern Matching with Even and Odd Cases -4.06
How can I prove following lemma in Coq? 0.00
Short(er) proof of `forall n k, (forall q, n <> q * 3) ->... +4.10
Short(er) proof of `forall n k, (forall q, n <> q * 3) ->... -1.70
How to do induction on the length of a list in Coq? +1.92
Coq: Proposition about the contents of a set 0.00
rewrite single occurence in ltac +4.08
Matching expression context under `forall` with Ltac +3.95
Convert function from string to nat in Coq -0.03