StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Théo Winterhalter

Rating
1515.69 (42,780th)

Reputation
1,060 (147,464th)

Page: 1 2

Title	Δ
Is it possible to prove `forall n: nat, le n 0 -> n = 0.` in Coq...	+1.83
Difference between propositionals True/False and booleans true/fals...	0.00
Using the same variable multiple times in a definition to represent...	0.00
Printing ssrnat's ".+1" definition	0.00
How to specialize nested hypotheses in Coq?	0.00
How to debug tactic failure in a match goal branch?	0.00
Conversion of a statement in formal language	-0.38
Effect of non zero term	0.00
Why Coq doesn't allow a theorem with admits to end with QED in...	+3.88
Coq prove a false list assumption	0.00
Can we define recursive definitions in Coq?	0.00
Can't bind variable to wrapped open formula	0.00
Inductive proposition for sublists in Coq	0.00
Proof irrelevance for boolean equality	0.00
Vector : t A n = t A (n+0)?	0.00
Reorder display of hypothesis in Coq?	+3.93
Avoid implicit arguments of Fixpoint from becoming explicit in proo...	+3.97
Does using the unfold tactic followed by fold in Coq do anything?	+5.04
How to apply a lemma to 2 hypothesis	0.00
Solve for a variable in Coq	0.00
How to use finite sets represented as lists in attributes of a clas...	0.00
How to provide proof that two values are different?	0.00
Why higher-order types are transitive but types of programs are not?	0.00
Basic manipulation of algebraic expressions	+5.64
lambda calculus example quenstion	0.00
OCaml syntax: variables side-by-side	0.00
Applying a dependent type to an arguement to assert a goal in Coq?	0.00
Why the `Omega' tactic can't solve a simple problem like this	0.00
In-place simplification for Coq	+0.12
Notation for reflexive transitive closure in Coq	0.00
Interpret term as type in Coq	-4.03
How do I simplify a hypothesis of the form True -> P in Coq?	0.00
Is there a strong relation with bools and Prop in Coq?	0.00
Coq constructor can't take two arguments of different types?	0.00
(A -> B) /\ (B -> C) -> (A -> C) in Coq?	0.00
The foundations of Coq	0.00
COQ Proof Assistant - Apply the hyppothesis	0.00
How to prove equality from equality of Some	+4.46
Why does removing assumptions change the behaviour of the induction...	0.00
How to leave a goal unfinished in Coq	0.00
Case analysis with intros in Coq	0.00
How does one implement Coq?	0.00
How to build a list of heterogeneous dependant pairs in Coq	-3.76
Coq: type mismatch on dependent lists which could be solved by a pr...	+4.72
Correctly renaming bound variables to perform alpha reduction	0.00
How does one properly simplify a coq goal with a previous lemma?	0.00
How to find length of list of pair	0.00
evaluate lambda calculus- OR FALSE TRUE	0.00
How to write a function to check the array for symmetry using lambd...	0.00
How to import the file in other project/directory by configuring th...	0.00