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 use AND in Oz Programming language -4.35
How would I prove that b = c if (andb b c = orb b c) in coq? +4.22
Define an inductive dependent-type with constraints on the type-par... -1.99
modifying double pointer to an integer array -3.59
Ubuntu 15.04, how do I add these to the PATH -3.84
Why can I sometimes prove a goal via a lemma, but not directly? -4.02
how to install coq contribs using git? 0.00
How to prove x + y - z = x + (y - z) in Coq 0.00
Using local notation inside a Coq theorem -3.93
Is there a way to disable a specific notation in Coq? -0.02
Making and comparing Sets in Coq -3.71
Coq induction on modulo +0.78
How to prove (forall n m : nat, (n <? m) = false -> m <= n... 0.00
Can argc overflow? -2.32
How to prove this simple equation in Coq +4.07
Well-founded recursion using (Acc lt (x-y)) 0.00
How to prove antisymmetric in coq +0.01
Single-quote notation for characters in Coq? +0.10
Inline asm with sideeffects -0.76
How to prove the lemma "(P \/ Q) /\ ~P -> Q." in coq? 0.00
Python raw_input in Google App Engine shell -3.81
how to find field in JSON 0.00
Variably modified array at file scope 0.00
How to clear python interpreter console? 0.00