Vinz

Questions Linux Laravel Mysql Ubuntu Git Menu

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

Vinz has asked 9 questions and find answers to 38 problems.

Stats

About

Vinz questions

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

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
In coq, how to do "induction n eqn: Hn" in a way that doesn't mess up the inductive hypothesis?
How to apply a function once during simplification in Coq?
How to add to both sides of an equality in Coq
Defining constants using existence proofs in Coq