Konstantin Weitz

Konstantin Weitz has asked 16 questions and find answers to 13 problems.

Stats

About

Konstantin Weitz questions

MySQL CSV Row to multiple Rows
Force Maven to use System's javac
How to permanently exclude one test class in a Maven build
Why escape & to avoid XSS
Return Oriented Programming Compiler
Confused by Lisp Quoting
Coq: Boolean Comparison of Integers
Max of set in Isabelle
Latex Javadoc generation
Javascript weird random behavior

Konstantin Weitz answers

Convert ~exists to forall in hypothesis
Equality in COQ for enumerated types
Dynamically writing and evaluating a <script>
Using `apply with` without giving names of parameters in Coq?
Coq induction start at specific nat
Using eexists to construct record terms in Coq
Coq: unfolding class instances
How to prove excluded middle is irrefutable in Coq?
Do canaries prevent return-into-libc and return-oriented programming attacks?
Using remember in induction over proposition gives 'ill-typed' error in Coq