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 prove a goal from contradictory hypotheses? -2.38
Compile coq without the standard library 0.00
Proof of Paper, Scissor, Rock as Monoid Instance in Coq -4.03
How to create a new hypothesis from apply? +4.01
Proving that a reversible list is a palindrome in Coq +4.10
Coq auto-simplification similar to Isabelle? 0.00
Leibniz property in Coq 0.00
Elim a double negation hypothesis in Coq Proof Assistant? 0.00
Indicator function and semirings in COQ 0.00
Elim versus induction -3.72
Implementing safe element retrieval by index from list in Coq -3.98
coq --- function power definition +3.99
Coq --- Arguments directive 0.00
Reflexivity on the gt relation in Coq 0.00
Dependent pattern matching in coq +0.02
the decidable equality definitions for mutually defined inductive t... -4.07
Theorem plus_n_n_injective, exercise +4.08
How to create a bibliography source file in coq 0.00
Is it possible to boot the Raspberry Pi in Secure Mode? 0.00
Coq - IP Notation 0.00
Modelisation of an automaton with coq 0.00
How to automatically generate "good" names when decomposi... +1.45
How to Create Ensemble in Coq 0.00
Representing inductive types 0.00
defining Maybe monad in Coq 0.00
Printing internal representation of a Coq term 0.00
Coq - Induction over functions without losing information 0.00
Coq - I have to define a function that is only true if x and y are... 0.00
Proofing Termination in Coq -4.06
A different way to do induction on lists that needs a proof 0.00
Coq: Problems with List In inductive 0.00
convert a list of integer to a list of natural numbers -0.06
Convert function from string to nat in Coq +0.03
Error in defining Ackermann in Coq -0.01
Key to OpenGL. Java / Scala / Python 0.00
How do we keep multiple semantic values during parsing with Happy/H... 0.00
Help with a Coq proof for SubSequences 0.00
Parser in Happy -3.58
How to further improve error messages in Scala parser-combinator ba... +4.66
Proving Predicate Logic using Coq - Beginner Syntax 0.00
How to prove (forall x, P x /\ Q x) -> (forall x, P x) [In Coq] 0.00