Up
–
coq-core
» Coqc
Module
Coqc
val
main :
string list
->
unit