`coqc -Q`returns “coqc: -Q: no such file or directory”

前端 未结 0 680
南方客
南方客 2020-12-03 13:31

When I try to compile files with coqc -Q . LF, I get the error:

coqc: -Q: no such file or directory

coqc informatio

相关标签:
回答
  • 消灭零回复
提交回复
热议问题