Up
–
coq-core
»
Coq_checklib
» Checker
Module
Coq_checklib.Checker
val
start :
unit
->
unit