Atsby

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

Stats

About

Atsby questions

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

Atsby answers

How to find if less is installed on the system?
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