Add generate COQ.