StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Ptival

Rating
1527.37 (21,161st)

Reputation
7,457 (21,354th)

Page: 1 2 3 4

Title	Δ
Euclidean division on naturals in coq	0.00
Locating definition of a tactic in Coq proofs	0.00
proving a theorem in Coq	-4.21
Rewriting dependent functions	0.00
Use Coq to prove difference between relative numbers	0.00
Lost on this exercise	0.00
Coq: defining a function based on uniqueness and existence theorems	0.00
Solving this coq exercise	0.00
How to prove the lemma "(P \/ Q) /\ ~P -> Q." in coq?	-2.03
Assume Negation for Proof by Contradiction	0.00
Assume Half a Disjunctive Premise for "or elimination" Pr...	0.00
Impossible pattern in writing implicit proof object in coq	0.00
the reference was not found in the current environment	0.00
Coq: Instantiating Multiple Generalizations?	0.00
Coq - Extract witness from Proposition	0.00
Finish proof with false hypothesis in Coq	0.00
Coq: Error: The reference _ was not found in the current environment	0.00
Proof - Coq - Do I need induction?	0.00
Proving lemma with implication based on functions	0.00
functions in Coq	0.00
string to list of char	0.00
OCaml functors :: counter-intuitive behaviour	+2.58
How handling a list of polymorphic variants?	+1.21
How can i simplify this type?	-1.77
How can I count vowel groups in a sentence using Haskell	+5.24
Unable to find an instance for the variable	0.00
Segmentation fault core dumped...?	+1.05
Printing x randomIO values from a list of randomIO's	+5.44
Find triangle in the graph	0.00
A Haskell interpreter /w type definitions	+3.92
OO-Like interface implementation in Haskell	-1.24
Strange behavior of semicolon in Coq	0.00
List Grid Elements	+4.00
Haskell - The Craft of Functional Programming (exercise 4.3)	+0.30
What does #pragma once mean in C?	-0.34
How to get the shortest palindrome of a string	+2.66
How should I refactor this Haskell code to make it more elegant?	+4.10
Software Transactional Memory - Composability Example	+4.23
How to highlight or mark changed lines in Vim?	0.00
What is legal Literate Haskell? Formal Syntax somewhere?	+1.30
c realloc of memory from 0	+2.52
Creating a MIPS machine in Java/C/C++	-2.32
Haskell: Monads and the (:) operator	0.00
Multi-clients on a server	-2.00
Load website's content through python	+5.18
Having trouble with a toString() method	-0.91
Haskell errors: "lacks an accompanying binding" and "...	-3.73
Why does python remove behave like that?	+0.67
Calling executable file inside C program	+0.00
Is there a bijection between any distinct 4 4-bits strings and all...	0.00