Atsby

Atsby has asked 1 questions and find answers to 16 problems.

Stats

About

Atsby questions

Is there a way to disable a specific notation in Coq?

Atsby answers

What is the difference between final, const and static variables in java
Proving if then else in Coq
How does JVM differentiates between method overloading and method overriding internally?
Coq induction on modulo
dynamic minimum spanning tree
Method type-parameterized doesn't work in for loop
How to destruct pair equivalence in Coq?
Why are NVL functions called "NVL"?
Formalizing computability theory in Coq
What is the recommended approach to keeping intermediate bindings from being garbage collected in JavaFX 8