Up
–
rocq-runtime
»
Coq_checklib
» Coqchk_main
Module
Coq_checklib.Coqchk_main
val
main :
unit
->
unit