Vinz

Questions Linux Laravel Mysql Ubuntu Git Menu

HTML CSS JAVASCRIPT SQL PYTHON PHP BOOTSTRAP JAVA JQUERY R React Kotlin

Vinz has asked 10 questions and find answers to 42 problems.

Stats

About

Vinz questions

Mercurial built-in template style description
Can "secret" be set to the default phase of mercurial?
Running 32 bits and 64 bits OS with arm v8
Lexer/parser to generate Scala code from BNF grammar
Damas-Hindley-Milner type inference algorithm implementation
How to "debug" Haskell with printfs?

Vinz answers

How to prove a goal from contradictory hypotheses?
Mercurial built-in template style description
Prove that one hypothesis is negation of another in Coq
Coq: Remove all (nested) parentheses from a sum
Theorem plus_n_n_injective, exercise
Coq eapply generates a goal with a question mark while proving existence of a function
The extraction of coq type nat into which type of ocaml so that I can have a certified program
Dependent pattern matching in coq
Sum of exponents with same base
Error in defining Ackermann in Coq