StackRating

An Elo-based rating system for Stack Overflow

Home | About | Stats and Analysis | Get a Badge

Rating Stats for

Konstantin Weitz

Rating
1480.28 (4,495,894th)

Reputation
3,001 (56,349th)

Page: 1

Title	Δ
Is conversion from existential quantifier to universal quantifier l...	0.00
Converting to Fin Type in Coq	0.00
Coq calculational style biconditional chain	0.00
Equality in COQ for enumerated types	-3.79
How to introduce a new variable in Coq?	-1.64
Using `apply with` without giving names of parameters in Coq?	+4.21
How to prove excluded middle is irrefutable in Coq?	0.00
Implications as functions in Coq?	0.00
How to return a (intro'd) hypothesis back to the goal formula?	-3.44
Using eexists to construct record terms in Coq	0.00
A Coq analogue of the Burali-Forti paradox?	-3.88
Why is printf with a single argument (without conversion specifiers...	+0.16
Coq induction start at specific nat	0.00
equality on inductive types	0.00
Convert ~exists to forall in hypothesis	+0.42
Describing a recursive type in Coq	+4.11
Using remember in induction over proposition gives 'ill-typed&#...	+0.24
Default implementations in coq’s Modules	+4.33
explain a simple operation in coq	0.00
Coq: unfolding class instances	0.00
Obvious false condition in else if, not giving dead code for body i...	0.00
Linux memory mapping	0.00
Given a page pointer in a linux kernel module, how to get the NUMA...	0.00
Python list.remove for loop "x not in list"	-1.55
OpenCV find sub images	0.00
Incorrect max and min in Python code	-3.51
What is the best way to find the period of a (repeating) list in Ma...	-1.75
Beginner at Prolog here, hoping for a little guidance	-0.71
Exponential function with addition	-3.69
Executing a background process with system()	-2.92
usage of return	+0.84
Get distinct result	+4.01
Object-Oriented JavaScript tools	-3.49
MYSQL Counting the number of records that are associated	-3.29
C++ alloc array of objects	-2.21
Do canaries prevent return-into-libc and return-oriented programmin...	0.00
Limit Decimal Places in Android EditText	+0.35
MySQL CSV Row to multiple Rows	-3.80
Technique of using volatile flag as replacement to locking	-4.07
Shell Script copy and paste a random file from a directory	+2.31
Dynamically writing and evaluating a <script>	+3.05