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	Δ
How to save the current goal / subgoal as an `assert` lemma	+4.04
Proving x >= a /\ x <= a -> x = a	0.00
Prove that one hypothesis is negation of another in Coq	0.00
Simplifying Rational Expressions and Proving Trivial Rational Equiv...	0.00
Is there a minimal complete set of tactics in Coq?	0.00
Coq inductive reasoning about ACSL inductive predicates?	-3.27
Incorrect elimination of X in the inductive type "or":	-3.66
A Coq analogue of the Burali-Forti paradox?	+3.88
Why unfold does not work on lt(less-than) in Coq?	0.00
How to define non-empty set in Coq?	0.00
Is there a translator from Haskell to Coq?	0.00
Inductively defined dense vector lemmas	0.00
In coq, how to do "induction n eqn: Hn" in a way that doe...	+2.20
Coq "convoy pattern"	0.00
Sum of exponents with same base	+4.08
Is equality decidable on any coinductive type?	0.00
Why can I sometimes prove a goal via a lemma, but not directly?	+4.02
Partial application is not allowed while using Function	0.00
Solving (BEq a a0 = BTrue \/ BEq a a0 = BFalse) in Coq	-3.78
Why 'intuition' works in the example of Coq?	0.00
Is there a way to disable a specific notation in Coq?	+0.02
Tutorial about syntax of HoTT variant of Coq	-1.51
What does "Some" mean in coq?	0.00
In coq, how do you declare/prove enumeration elements are distinct?	+0.40
Defining constants using existence proofs in Coq	0.00
Using an exponentiation function	0.00
About the refine tactic in Coq	+5.38
How to pull Coq source code from coqdoc pages	0.00
How to instantiate a variable (?8758) with a local variable?	-3.91
Unfold anonymous function in Coq proof	-3.89
Composition of n-ary functions on natural numbers in Coq	0.00
Coq - Passing parameters to a record	0.00
Mercurial built-in template style description	-3.87
How to do pseudo polynomial divisions in Coq/Ssreflect	0.00
How to apply theorems for definitions with restrictions in coq	0.00
How to make Coq evaluate a specific redex (or - why does it refuse...	0.00
Change a function at one point	+4.11
How to prove antisymmetric in coq	-0.01
"Rewrite" a type	0.00
Curry-Howard isomorphism definitions in Coq using fun	0.00
How to "flip" an equality proposition in Coq?	+1.56
Coq notation for multi type list	-3.62
Simple proof of stream of ones in Coq	0.00
How to "extract" Z from subset type {z : Z \| z > 0}	0.00
Random nat stream and subset types in Coq	0.00
Using an hypothesis to remove cases in a match statement	+4.18
ARMv8 Foundation Model: switches and leds	0.00
The extraction of coq type nat into which type of ocaml so that I c...	0.00
What is the difference between "Qed" and "Defined&qu...	0.00
How to describe the one-many relations in Coq?	-2.50