The Coq Proof Checker, version 8.6 (July 2017) compiled on Jul 27 2017 8:50:48

Usage: coqchk <options> modules coqchk options are: -R dir coqdir map physical dir to logical coqdir -admit module load module and dependencies without checking -norec module check module but admit dependencies without checking -where print coqchk's standard library location and exit -v print coqchk version and exit -boot boot mode -o, --output-context print the list of assumptions -m, --memory print the maximum heap size -silent disable trace of constants being checked -impredicative-set set sort Set impredicative -h, --help print this list of options