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 Δ
An example of separation logic? +0.47
Datatype.nat versus nat? 0.00
Elim versus induction +0.46
about the order of the elements in a set 0.00
Theorem plus_n_n_injective, exercise -0.29
Stuck on even lemma with exists 0.00
What is inductive predicates? -0.02
Function of comparison coq -0.54
Prop and bool in Coq +0.03
Formalizing arithmetic prroofs using Agda -0.53
Verify the type of a lambda expression -1.56
coq. ordered pair of natual numbers 0.00
Fixpoint on Types 0.00
What forms of goal in Coq are considered to be "true"? 0.00
Applying an implication from a hypothesis 0.00
Using List remove function 0.00
coq proof : tactic absurd, how does it works? 0.00
Coq: how to apply one hypothesis to another 0.00
Proofs about constructors matched with _ 0.00
Coq, Pattern matching an Axiom with a wildcard 0.00
Just a universally quantified hypotesis in coq proof -0.30
Coq arrow type in universal hypotesis with existential goal 0.00
Coq - Universal quantifiers in hypoteses 0.00
Coq -- understanding `forall` syntax 0.00
destruct with dependent types 0.00
Pattern matching from a Record type -0.31
Proving if then else in Coq +3.75
Easy way to simplify expression within anonymous function? 0.00
Design functor to be able to use different modules 0.00
How do you make notations visible outside of a module signature in... 0.00
Module error Type differ in Coq 0.00
Finding out the type signatures of a module/module type, in place 0.00
Universal qauntification hypothesis in Coq 0.00
Proof about less than 0.00
Lemma cannot be used as a hint 0.00
Proof by cases using Coq +3.78
coq change premise 'negation of not equal' to 'equal' +4.06
How to use the Lemma inside a module in Coq? 0.00
"Verbose" auto in Coq 0.00
Introduce previously proved theorem as hypothesis 0.00
Binary Search Tree with size 7 and height 3 -2.78
Proving (p->q)->(~q->~p) using Coq Proof Assistant +3.84
Finite map example 0.00
Odd Lambda Syntax in Coq 0.00
Adding hypotheses that are not in the current hypotheses 0.00
Coq - use Prop (True | False) in if ... then ... else 0.00
Using "symmetry" within Coq expressions 0.00
Relation between types prod and sig in COQ +0.23
How to give a counterxample in Coq? -0.12
Limitations of Fixpoint in Coq? 0.00