coqchk(1) on Linux

Flags it lists

• --help
• --memory
• --output-context
• -h
• -impredicative-set
• -m
• -o
• -silent
• -v
• -where