When I try to compile files with coqc -Q . LF, I get the error:
coqc -Q . LF
coqc: -Q: no such file or directory
coqc informatio
coqc