I have a sizeable Coq project of about 50Kloc. It takes about 30 min to compile. Recently I tried to run
coqchk on it using the
validate target generated by
coq_makefile. It has been running for 4 hours and has not yet finished.
Is it normal for it to take so long? Why this process is longer than the actual compilation?