StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

larsr

Rating
1478.63 (4,501,603rd)

Reputation
3,212 (52,587th)

Page: 1 2 3

Title	Δ
How to prove that a number is prime using Znumtheory in Coq	-2.27
Sorted List in Coq	+4.44
How to write an Ltac to multiply both sides of a equation by a grou...	-3.73
Python: selectionsort algorithm with queues	0.00
How do I prove the simplified Chinese Remainder Theorem?	+0.56
How to apply Z.divide_add_r in a hypothesis?	+2.41
How to pattern match multiple values in Idris/Agda/Coq?	-3.60
How can I compare (equality) of two elements of same Set in Coq?	-4.00
Ltac pattern matching: why does `forall x, ?P x` not match `forall...	-3.41
Error: Cannot guess decreasing argument of fix. Coq	0.00
Cannot guess decreasing argument of fix for nested match in Coq	-3.63
What are the possible ways to define parallel composition in Coq ap...	0.00
CoqIDE configuration in Linux	0.00
Structuring Coq code	0.00
Proving even + even = even with mutual induction using tactics	-0.02
{assumption, apply, intro} is sufficient for min prop logic	0.00
The reverse state monad in Coq	+0.84
Substituting an indexed variable with an expression	0.00
How do I prove that two Fibonacci implementations are equal in Coq?	+1.82
How do I prove that two Fibonacci implementations are equal in Coq?	-1.12
Coq adding a new variable instead of using the correct one	-1.56
Where did lt_index go?	+4.44
What's the square bracket syntax [ \|- Set] in Coq?	+4.14
Print existing setoids and morphisms in Coq	0.00
Proof of idempotence for a function clearing a list but one element	+4.18
Merge duplicate cases in match Coq	-3.76
Apply partially instantiated lemma	+2.38
How to import the Library: Coq.Arith.PeanoNat in Coq?	+4.12
Confused about pattern matching in Record constructions in Coq	+0.18
Local Inductive definitions and Theorems	0.00
Reading rows from a table in BeautifulSoup	+1.96
Prove "rev (rev l) = l" in Coq	+4.31
Recursive partial functions in Coq	-3.49
An apply that doesn't seem like it should unify is allowed	-3.39
How to simplify A + 0 > 0 into A > 0?	+0.24
Induction on predicates with product type arguments	-3.82
Proof automation in Coq how to factorize a proof	-2.67
Proof automation in Coq how to factorize a proof	+4.00
How can I prove that (eqb x y) means x = y	-3.81
Coq Extraction: Permission Denied	0.00
XXX "is bound to a notation that does not denote a reference&q...	0.00
Equality in QArith	0.00
Formualting a logic in farmer astronaught	+4.21
Not equal succesors in Coq	+4.35
How to do case analysis on the length of a list in Coq?	-2.48
How to automatically introduce symmetries into Coq hypotheses?	0.00
Definition of normal form in coq	+3.97
casting convertible types in coq	-2.02
How to compile Logic.v in Coq	0.00
how to rearrange terms in Coq using plus communtativity and associa...	+0.66