Quyen questions

• Transform a pair of int list to boolean matrix in OCaml
• The extraction of coq type nat into which type of ocaml so that I can have a certified program
• remove duplicate string and empty string
• string to list of char

Quyen answers