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 proof (f1+f1 = f2+f2 -> f1 = f2) in coq -1.18
Is it possible to prove `forall n: nat, le n 0 -> n = 0.` in Coq... -0.31
Programming c-like classes to run in Coq 0.00
How can I generalise Coq proofs of an iff? -0.84
How to pattern match exist to transform proofs -0.42
Less than relationship of natural numbers +0.53
Conversion of a statement in formal language +0.05
Definition of equality among vectors +2.17
diffefentiation of (1/2)*(x-y)^2 on x is x - y 0.00
Prove equality of lists with list_beq +0.53
Coq: How do I prove that forall n m : nat, (n > m) -> (S n &g... -0.46
Using a module's definition in Coq 0.00
Coq: Ltac for transitivity of implication (a.k.a. hypothetical syll... 0.00
exact value of the derivative on Coq -0.16
Differential calculus on Coq +0.04
Inversion tactics in coq 0.00
Proving technology of Coq's kernel -0.29
IndProp: prove that Prop is not provable +0.16
Using Notations in Records 0.00
How to prove that (0 = 2) -> false in Coq? -1.55
Coq power operator "^" unfound +2.66
Natural number list in coq +0.04
Using well founded induction to define factorial -1.35
Coq Set Inheritance -0.47
Does Gallina have holes like in Agda? +4.92
get field from Record Types in Coq +0.33
How does one approach proving facts about non-primitive recursive f... -3.38
Coq theorem proving: Simple fraction law in peano arithmetic -3.42
Proving that size with filter is not equal to (size + 1) -3.19
In Coq, are there tactics for working with Rabs, Rineq? 0.00
Contradiction on natural number's zero test +4.12
Defining recursive function over product type +2.02
IndProp: ev_plus_plus -1.56
I want to do induction on Peano nats but I want to prove a property... +0.47
Coq Import problems 0.00
I'm looking for this lemma about the nat type +4.57
Proof of application equality in coq +4.34
How to easily prove the following in Coq such as using only assumpt... 0.00
Church numerals +4.68
Why does `ev n (S(S n))' decrease the number and not increase it? -1.70
Splitting a premise with conjunction conclusion in Coq -3.41
Conditional Proof Tactic in Coq -1.96
Coq: How to refer to the types generated by a specific constructor? 0.00
Fixpoint with Prop inhabitant as argument -3.36
Defining a function that returns one element sastfying the condition +0.24
Destruct if condition in program fixpoint coq 0.00
Guidance completing a proof -0.55
Minimum in non-empty, finite set +0.99
Diffent versions of same library in Coq -3.68
How to prove that a number is prime using Znumtheory in Coq -2.27