StackRating

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

Vinz

Rating
1490.59 (4,406,361st) 		Reputation
4,713 (35,272nd)
Page: 1 2 3
Title Δ
vim-syntastic and files without extentions 0.00
Python: two layer of Dictionary 0.00
Map param to function - fmap ($ 3) (4+) -0.40
LD and NOLOAD sections: Understanding strange LMA value 0.00
Proof automation +0.01
Establish isomorphism between finite natural numbers and sigma -0.01
Pattern matching using information from theorems -1.08
Induction over relations -0.70
Is it possible to jointly recurse on a pair of variables in Coq? 0.00
Coq: remove constructor from both sides of goal 0.00
aarch64 MMU: skipping first/second level tables 0.00
Proving even + even = even with mutual induction using tactics +0.00
Rewriting hypothesis with a more concrete expression 0.00
How to introduce n distinct symbols in Coq +0.51
How to destruct a exist in goal for coq -0.49
Coq eapply generates a goal with a question mark while proving exis... -0.50
Coq: Remove all (nested) parentheses from a sum -0.87
Coq: How do I replace terms like "n + 1" with "S n&q... 0.00
disjunction of empty and non-empty list in coq -0.01
Coq variable exists in list -0.48
Proof in COQ that equality is reflexivity -1.78
Coq: defining more than two mutually recursive functions on inducti... -0.49
Are arrows in Coq aliases of universal quantifications? -0.50
Coq: Show all terms in a type or types in a universe in the environ... -0.25
What's the square bracket syntax [ |- Set] in Coq? -0.52
Coq: Error in coercion definition 0.00
What's the difference between revert and generalize tactics in... -0.47
Show all axioms Coq 0.00
Tactic to partially compute goal in Coq 0.00
Reference in Coq Lists library not found 0.00
How to add to both sides of an equality in Coq +0.53
How to define set in coq without defining set as a list of elements -0.51
`Reset` not working in CoqIDE -0.50
A simple(r) proof from inequality on nat to bool 0.00
Prove "rev (rev l) = l" in Coq -0.54
Strong Induction on Lists +0.71
Define decidable equality on inhabitants of a thing of type Set 0.00
Software Foundations: apply ... with ... tactic 0.00
Induction on predicates with product type arguments +0.48
Does ssreflect assume excluded middle? -0.51
How to use matched case and variable equivalence in coq 0.00
Reasoning about lists in Coq 0.00
How to find the source file for an identifier in Coq +3.95
Formualting a logic in farmer astronaught -4.21
How to do case analysis on the length of a list in Coq? +3.82
How to execute a computation exactly once in Coq? -2.09
Behaviour of the apply tactic when the goal and the applied term ma... 0.00
Coq proof tactics -0.14
How to introduce a new existential condition from a witness in Coq? -2.69
How to apply a function once during simplification in Coq? 0.00